net.sf.bddbddb.dataflow
Class CopyProp.CopyPropTF

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

Enclosing class:

CopyProp

public class CopyProp.CopyPropTF
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

CopyProp.CopyPropTF(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

CopyProp.CopyPropTF

public CopyProp.CopyPropTF(Operation op)

Parameters:

op -

Method Detail

apply

public Problem.Fact apply(Problem.Fact f)

Specified by:

apply in class Problem.TransferFunction