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

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

public class WeightedObject<T>
extends Object
implements Comparable<WeightedObject<T>>


Field Summary
 T thing
           
 
Method Summary
 int compareTo(WeightedObject<T> arg0)
           
 boolean equals(Object obj)
           
 BigInteger getWeight()
           
 int hashCode()
           
 void increaseWeight(BigInteger delta)
           
static
<E> WeightedObject<E>
newWO(E e, BigInteger w)
           
static
<E> WeightedObject<E>
newWO(E e, int w)
           
static
<E> WeightedObject<E>
newWO(E e, long 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 BigInteger getWeight()

increaseWeight

public void increaseWeight(BigInteger delta)

compareTo

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

newWO

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

newWO

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

newWO

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

hashCode

public int hashCode()
Overrides:
hashCode in class Object

equals

public boolean equals(Object obj)
Overrides:
equals in class Object


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