net.sf.bddbddb
Class FindBestDomainOrder.OrderSearchElem

java.lang.Object
  extended by 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


Field Summary
 int nextRule
           
 OrderConstraintSet ocs
           
 double pathCost
           
 double pathScore
           
 java.util.Collection rulesLeft
           
 
Constructor Summary
FindBestDomainOrder.OrderSearchElem(double score, double cost, OrderConstraintSet ocs, int nextRule)
           
FindBestDomainOrder.OrderSearchElem(FindBestDomainOrder.OrderSearchElem that)
           
 
Method Summary
 int compareTo(java.lang.Object arg0)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

pathScore

public double pathScore

pathCost

public double pathCost

ocs

public OrderConstraintSet ocs

nextRule

public int nextRule

rulesLeft

public java.util.Collection rulesLeft
Constructor Detail

FindBestDomainOrder.OrderSearchElem

public FindBestDomainOrder.OrderSearchElem(FindBestDomainOrder.OrderSearchElem that)

FindBestDomainOrder.OrderSearchElem

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

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.