net.sf.bddbddb
Class FindBestDomainOrder.OrderInfo

java.lang.Object
  extended by net.sf.bddbddb.FindBestDomainOrder.OrderInfo
All Implemented Interfaces:
java.lang.Comparable
Enclosing class:
FindBestDomainOrder

public static class FindBestDomainOrder.OrderInfo
extends java.lang.Object
implements java.lang.Comparable

Calculated information about an order. This consists of a score and an estimated information gain.

Version:
$Id: FindBestDomainOrder.java 645 2006-07-17 05:20:20Z joewhaley $
Author:
John Whaley

Constructor Summary
FindBestDomainOrder.OrderInfo(FindBestDomainOrder.OrderInfo that)
          Construct a new OrderInfo that is a clone of another.
FindBestDomainOrder.OrderInfo(Order o, double s, double c)
          Construct a new OrderInfo.
 
Method Summary
 int compareTo(FindBestDomainOrder.OrderInfo that)
          Comparison operator for OrderInfo objects.
 int compareTo(java.lang.Object arg0)
           
static FindBestDomainOrder.OrderInfo fromXMLElement(org.jdom.Element e, java.util.Map nameToVar)
           
 java.lang.String toString()
           
 org.jdom.Element toXMLElement()
          Returns this OrderInfo as an XML element.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FindBestDomainOrder.OrderInfo

public FindBestDomainOrder.OrderInfo(Order o,
                                     double s,
                                     double c)
Construct a new OrderInfo.

Parameters:
o - order
s - score
c - info gain

FindBestDomainOrder.OrderInfo

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

Parameters:
that - other OrderInfo to clone from
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

compareTo

public int compareTo(FindBestDomainOrder.OrderInfo that)
Comparison operator for OrderInfo objects. Score is most important, followed by info gain. If both are equal, we compare the order lexigraphically.

Parameters:
that - OrderInfo to compare to
Returns:
-1, 0, or 1 if this OrderInfo is less than, equal to, or greater than the other

toXMLElement

public org.jdom.Element toXMLElement()
Returns this OrderInfo as an XML element.

Returns:
XML element

fromXMLElement

public static FindBestDomainOrder.OrderInfo fromXMLElement(org.jdom.Element e,
                                                           java.util.Map nameToVar)


Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.