net.sf.bddbddb.dataflow
Class DefUse.DefUseTransferFunction

java.lang.Object
  net.sf.bddbddb.dataflow.Problem.TransferFunction
      net.sf.bddbddb.dataflow.OperationProblem.OperationTransferFunction
          net.sf.bddbddb.dataflow.DefUse.DefUseTransferFunction

Enclosing class:

DefUse

public class DefUse.DefUseTransferFunction
extends OperationProblem.OperationTransferFunction

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

Method Detail

apply

public Problem.Fact apply(Problem.Fact f)

Specified by:

apply in class Problem.TransferFunction