net.sf.bddbddb.dataflow
Class PartialRedundancy.Used.UsedTF

java.lang.Object
  net.sf.bddbddb.dataflow.Problem.TransferFunction
      net.sf.bddbddb.dataflow.PartialRedundancy.Used.UsedTF

Enclosing class:

PartialRedundancy.Used

public class PartialRedundancy.Used.UsedTF
extends Problem.TransferFunction

Constructor Summary

PartialRedundancy.Used.UsedTF(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.Used.UsedTF

public PartialRedundancy.Used.UsedTF(Operation op)

Parameters:

op -

Method Detail

apply

public Problem.Fact apply(Problem.Fact f)

Specified by:

apply in class Problem.TransferFunction