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

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