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

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