net.sf.bddbddb.dataflow
Class ConstantProp.ConstantPropTF

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

All Implemented Interfaces:

DynamicOperationVisitor, HighLevelOperationVisitor, LowLevelOperationVisitor, OperationVisitor

Enclosing class:

ConstantProp

public class ConstantProp.ConstantPropTF
extends Problem.TransferFunction
implements OperationVisitor

Constructor Summary

ConstantProp.ConstantPropTF(Operation op)

Method Summary

Problem.Fact	apply(Problem.Fact f)
java.lang.Object	visit(ApplyEx op)
java.lang.Object	visit(BDDProject op)
java.lang.Object	visit(Copy op)
java.lang.Object	visit(Difference op)
java.lang.Object	visit(Free op)
java.lang.Object	visit(GenConstant op)
java.lang.Object	visit(If op)
java.lang.Object	visit(Invert op)
java.lang.Object	visit(Join op)
java.lang.Object	visit(JoinConstant op)
java.lang.Object	visit(Load op)
java.lang.Object	visit(Nop op)
java.lang.Object	visit(Project op)
java.lang.Object	visit(Rename op)
java.lang.Object	visit(Replace op)
java.lang.Object	visit(Save op)
java.lang.Object	visit(Union op)
java.lang.Object	visit(Universe op)
java.lang.Object	visit(Zero op)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstantProp.ConstantPropTF

public ConstantProp.ConstantPropTF(Operation op)

Method Detail

apply

public Problem.Fact apply(Problem.Fact f)

Specified by:

apply in class Problem.TransferFunction

visit

public java.lang.Object visit(Join op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Project op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(BDDProject op)

Specified by:

visit in interface LowLevelOperationVisitor

visit

public java.lang.Object visit(Rename op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Union op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Difference op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(JoinConstant op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(GenConstant op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Free op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Universe op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Zero op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Invert op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Copy op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Load op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Save op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(ApplyEx op)

Specified by:

visit in interface LowLevelOperationVisitor

Returns:

the result

visit

public java.lang.Object visit(If op)

Specified by:

visit in interface DynamicOperationVisitor

Returns:

the result

visit

public java.lang.Object visit(Nop op)

Specified by:

visit in interface DynamicOperationVisitor

Returns:

the result

visit

public java.lang.Object visit(Replace op)

Specified by:

visit in interface LowLevelOperationVisitor

Returns:

the result