Uses of Class
net.sf.bddbddb.FindBestDomainOrder.OrderInfo

Packages that use FindBestDomainOrder.OrderInfo

net.sf.bddbddb

Uses of FindBestDomainOrder.OrderInfo in net.sf.bddbddb

Methods in net.sf.bddbddb that return FindBestDomainOrder.OrderInfo

static FindBestDomainOrder.OrderInfo	FindBestDomainOrder.OrderInfo.fromXMLElement(org.jdom.Element e, java.util.Map nameToVar)
FindBestDomainOrder.OrderInfo	FindBestDomainOrder.predict(Order o, OrderTranslator trans)
FindBestDomainOrder.OrderInfo	FindBestDomainOrder.ConstraintInfoCollection.predict(Order o, OrderTranslator trans)

Methods in net.sf.bddbddb with parameters of type FindBestDomainOrder.OrderInfo

int	FindBestDomainOrder.OrderInfo.compareTo(FindBestDomainOrder.OrderInfo that) Comparison operator for OrderInfo objects.

Constructors in net.sf.bddbddb with parameters of type FindBestDomainOrder.OrderInfo

FindBestDomainOrder.OrderInfo(FindBestDomainOrder.OrderInfo that)
Construct a new OrderInfo that is a clone of another.