net.sf.bddbddb.dataflow
Class PartialRedundancy.Earliest.EarliestTF

java.lang.Object
  net.sf.bddbddb.dataflow.Problem.TransferFunction
      net.sf.bddbddb.dataflow.PartialRedundancy.Earliest.EarliestTF

Enclosing class:

PartialRedundancy.Earliest

public class PartialRedundancy.Earliest.EarliestTF
extends Problem.TransferFunction

Constructor Summary

PartialRedundancy.Earliest.EarliestTF(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

PartialRedundancy.Earliest.EarliestTF

public PartialRedundancy.Earliest.EarliestTF(Operation op)

Parameters:

op -

Method Detail

apply

public Problem.Fact apply(Problem.Fact f)

Specified by:

apply in class Problem.TransferFunction