net.sf.bddbddb.dataflow
Class PartialOrder.PartialOrderTF

java.lang.Object
  net.sf.bddbddb.dataflow.Problem.TransferFunction
      net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

All Implemented Interfaces:

DynamicOperationVisitor, HighLevelOperationVisitor, LowLevelOperationVisitor, OperationVisitor

Enclosing class:

PartialOrder

public class PartialOrder.PartialOrderTF
extends Problem.TransferFunction
implements OperationVisitor

Constructor Summary

PartialOrder.PartialOrderTF(Operation op)

Method Summary

Problem.Fact	apply(Problem.Fact f)
java.util.Set	project(PartialOrder.Constraints cons, java.util.List attributes)
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)
PartialOrder.Constraints	visitUnionBinary(Relation src1, Relation src2)

Methods inherited from class java.lang.Object

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

Constructor Detail

PartialOrder.PartialOrderTF

public PartialOrder.PartialOrderTF(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(ApplyEx op)

Specified by:

visit in interface LowLevelOperationVisitor

Returns:

the result

project

public java.util.Set project(PartialOrder.Constraints cons,
                             java.util.List attributes)

visit

public java.lang.Object visit(Rename op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visitUnionBinary

public PartialOrder.Constraints visitUnionBinary(Relation src1,
                                                 Relation src2)

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(Load 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(Save op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Replace 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