net.sf.bddbddb.dataflow
Class Problem.TransferFunction

java.lang.Object
  net.sf.bddbddb.dataflow.Problem.TransferFunction

Direct Known Subclasses:

ConstantProp.ConstantPropTF, CopyProp.CopyPropTF, OperationProblem.OperationTransferFunction, PartialOrder.PartialOrderTF, PartialRedundancy.Earliest.EarliestTF, PartialRedundancy.Latest.LatestTF, PartialRedundancy.Used.UsedTF

Enclosing class:

Problem

public abstract static class Problem.TransferFunction
extends java.lang.Object

Constructor Summary

Problem.TransferFunction()

Method Summary

abstract 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

Problem.TransferFunction

public Problem.TransferFunction()

Method Detail

apply

public abstract Problem.Fact apply(Problem.Fact f)