net.sf.bddbddb.dataflow
Class Liveness.LivenessTF

java.lang.Object
  net.sf.bddbddb.dataflow.Problem.TransferFunction
      net.sf.bddbddb.dataflow.OperationProblem.OperationTransferFunction
          net.sf.bddbddb.dataflow.Liveness.LivenessTF

Enclosing class:

Liveness

public class Liveness.LivenessTF
extends OperationProblem.OperationTransferFunction

Constructor Summary

Liveness.LivenessTF(Operation op)

Method Summary

Problem.Fact

apply(Problem.Fact f)

Methods inherited from class java.lang.Object

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

Constructor Detail

Liveness.LivenessTF

public Liveness.LivenessTF(Operation op)

Method Detail

apply

public Problem.Fact apply(Problem.Fact f)

Specified by:

apply in class Problem.TransferFunction