Uses of Class
net.sf.bddbddb.dataflow.PartialOrder.Constraints

Packages that use PartialOrder.Constraints

net.sf.bddbddb
net.sf.bddbddb.dataflow
net.sf.bddbddb.ir

Uses of PartialOrder.Constraints in net.sf.bddbddb

Methods in net.sf.bddbddb that return PartialOrder.Constraints

PartialOrder.Constraints

Relation.getConstraints() Returns the constraints.

Methods in net.sf.bddbddb with parameters of type PartialOrder.Constraints

void	Relation.setConstraints(PartialOrder.Constraints constraints) Set the constraints for this relation.

Uses of PartialOrder.Constraints in net.sf.bddbddb.dataflow

Methods in net.sf.bddbddb.dataflow that return PartialOrder.Constraints

PartialOrder.Constraints	PartialOrder.Constraints.copy()
PartialOrder.Constraints	PartialOrder.getConstraints(Relation r)
PartialOrder.Constraints	PartialOrder.PartialOrderFact.getConstraints(Relation r)
PartialOrder.Constraints[]	PartialOrder.PartialOrderFact.getConstraintsMap()
PartialOrder.Constraints	PartialOrder.Constraints.join(PartialOrder.Constraints that)
PartialOrder.Constraints	PartialOrder.PartialOrderTF.visitUnionBinary(Relation src1, Relation src2)

Methods in net.sf.bddbddb.dataflow with parameters of type PartialOrder.Constraints

PartialOrder.Constraints	PartialOrder.Constraints.join(PartialOrder.Constraints that)
java.util.Set	PartialOrder.PartialOrderTF.project(PartialOrder.Constraints cons, java.util.List attributes)
void	PartialOrder.PartialOrderFact.setConstraints(Relation r, PartialOrder.Constraints constraints)

Uses of PartialOrder.Constraints in net.sf.bddbddb.ir

Constructors in net.sf.bddbddb.ir with parameters of type PartialOrder.Constraints

DomainAssignment(Solver s, PartialOrder.Constraints[] constraints)

PartialOrderDomainAssignment(Solver s, PartialOrder.Constraints[] constraintMap)

UFDomainAssignment(Solver s, PartialOrder.Constraints[] constraintMap)