net.sf.bddbddb
Class FindBestDomainOrder.OrderSearchElem
java.lang.Object
net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem
- All Implemented Interfaces:
- java.lang.Comparable
- Enclosing class:
- FindBestDomainOrder
public static class FindBestDomainOrder.OrderSearchElem
- extends java.lang.Object
- implements java.lang.Comparable
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
pathScore
public double pathScore
pathCost
public double pathCost
ocs
public OrderConstraintSet ocs
nextRule
public int nextRule
rulesLeft
public java.util.Collection rulesLeft
FindBestDomainOrder.OrderSearchElem
public FindBestDomainOrder.OrderSearchElem(FindBestDomainOrder.OrderSearchElem that)
FindBestDomainOrder.OrderSearchElem
public FindBestDomainOrder.OrderSearchElem(double score,
double cost,
OrderConstraintSet ocs,
int nextRule)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
compareTo
public int compareTo(java.lang.Object arg0)
- Specified by:
compareTo
in interface java.lang.Comparable
Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.