net.sf.bddbddb.dataflow
Class PartialRedundancy.Latest.LatestTF

java.lang.Object
  net.sf.bddbddb.dataflow.Problem.TransferFunction
      net.sf.bddbddb.dataflow.PartialRedundancy.Latest.LatestTF

Enclosing class:

PartialRedundancy.Latest

public class PartialRedundancy.Latest.LatestTF
extends Problem.TransferFunction

Author:

Administrator TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Style - Code Templates

Constructor Summary

PartialRedundancy.Latest.LatestTF(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.Latest.LatestTF

public PartialRedundancy.Latest.LatestTF(Operation op)

Parameters:

op -

Method Detail

apply

public Problem.Fact apply(Problem.Fact f)

Specified by:

apply in class Problem.TransferFunction