org.sat4j.pb.tools
Class WeightedObject<T>

java.lang.Object
  extended by org.sat4j.pb.tools.WeightedObject<T>
All Implemented Interfaces:
java.lang.Comparable<WeightedObject<T>>

public class WeightedObject<T>
extends java.lang.Object
implements java.lang.Comparable<WeightedObject<T>>


Field Summary
 T thing
           
 
Method Summary
 int compareTo(WeightedObject<T> arg0)
           
 boolean equals(java.lang.Object obj)
           
 java.math.BigInteger getWeight()
           
 int hashCode()
           
 void increaseWeight(java.math.BigInteger delta)
           
static
<E> WeightedObject<E>
newWO(E e, java.math.BigInteger w)
           
static
<E> WeightedObject<E>
newWO(E e, int w)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

thing

public final T thing
Method Detail

getWeight

public java.math.BigInteger getWeight()

increaseWeight

public void increaseWeight(java.math.BigInteger delta)

compareTo

public int compareTo(WeightedObject<T> arg0)
Specified by:
compareTo in interface java.lang.Comparable<WeightedObject<T>>

newWO

public static <E> WeightedObject<E> newWO(E e,
                                          int w)

newWO

public static <E> WeightedObject<E> newWO(E e,
                                          java.math.BigInteger w)

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class java.lang.Object


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.