Uses of Class
net.sf.bddbddb.order.OrderConstraintSet

Packages that use OrderConstraintSet

net.sf.bddbddb
net.sf.bddbddb.order

Uses of OrderConstraintSet in net.sf.bddbddb

Fields in net.sf.bddbddb declared as OrderConstraintSet

OrderConstraintSet

FindBestDomainOrder.OrderSearchElem.ocs

Constructors in net.sf.bddbddb with parameters of type OrderConstraintSet

FindBestDomainOrder.OrderSearchElem(double score, double cost, OrderConstraintSet ocs, int nextRule)

Uses of OrderConstraintSet in net.sf.bddbddb.order

Methods in net.sf.bddbddb.order that return OrderConstraintSet

OrderConstraintSet	OrderConstraintSet.copy()
OrderConstraintSet	OrderConstraintSet.translate(java.util.Map translationMap)

Methods in net.sf.bddbddb.order with parameters of type OrderConstraintSet

boolean

OrderConstraintSet.constrain(OrderConstraintSet ocs, java.util.Collection invalidConstraints)

Constructors in net.sf.bddbddb.order with parameters of type OrderConstraintSet

OrderConstraintSet(OrderConstraintSet that)