net.sf.bddbddb.dataflow
Class Liveness

java.lang.Object
  net.sf.bddbddb.dataflow.Problem
      net.sf.bddbddb.dataflow.OperationProblem
          net.sf.bddbddb.dataflow.Liveness

All Implemented Interfaces:

IRPass

public class Liveness
extends OperationProblem
implements IRPass

Author:

Administrator

Nested Class Summary

class	Liveness.LivenessFact
class	Liveness.LivenessTF

Nested classes/interfaces inherited from class net.sf.bddbddb.dataflow.OperationProblem

OperationProblem.OperationFact, OperationProblem.OperationTransferFunction

Nested classes/interfaces inherited from class net.sf.bddbddb.dataflow.Problem

Problem.Fact, Problem.TransferFunction

Field Summary

IR

ir

Constructor Summary

Liveness(IR ir)

Method Summary

boolean	direction()
Problem.Fact	getBoundary()
Liveness.LivenessFact	getOut(Operation op)
Problem.TransferFunction	getTransferFunction(Operation op)
boolean	run()
void	setOut(Operation op, Problem.Fact fact)

Methods inherited from class net.sf.bddbddb.dataflow.OperationProblem

getFact, initialize, setFact

Methods inherited from class net.sf.bddbddb.dataflow.Problem

compare

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ir

public IR ir

Constructor Detail

Liveness

public Liveness(IR ir)

Method Detail

run

public boolean run()

Specified by:

run in interface IRPass

direction

public boolean direction()

Specified by:

direction in class OperationProblem

getOut

public Liveness.LivenessFact getOut(Operation op)

setOut

public void setOut(Operation op,
                   Problem.Fact fact)

getBoundary

public Problem.Fact getBoundary()

Specified by:

getBoundary in class Problem

getTransferFunction

public Problem.TransferFunction getTransferFunction(Operation op)

Specified by:

getTransferFunction in class Problem