Uses of Class
org.sat4j.pb.tools.WeightedObject

Packages that use WeightedObject

org.sat4j.pb.tools

Implementation of different tools for pseudo boolean solvers

Uses of WeightedObject in org.sat4j.pb.tools

Methods in org.sat4j.pb.tools that return WeightedObject

static <E> WeightedObject<E>	WeightedObject.newWO(E e, BigInteger w)
static <E> WeightedObject<E>	WeightedObject.newWO(E e, int w)
static <E> WeightedObject<E>	WeightedObject.newWO(E e, long w)

Methods in org.sat4j.pb.tools with parameters of type WeightedObject

void	DependencyHelper.atLeast(C name, BigInteger degree, WeightedObject<T>... wobj) Create a PB constraint of the form w1.l1 + w2.l2 + ... wn.ln >= degree where wi are position integers and li are domain objects.
void	DependencyHelper.atMost(C name, BigInteger degree, WeightedObject<T>... wobj) Create a PB constraint of the form w1.l1 + w2.l2 + ... wn.ln <= degree where wi are position integers and li are domain objects.
void	DependencyHelper.atMost(C name, int degree, WeightedObject<T>... wobj)
int	WeightedObject.compareTo(WeightedObject<T> arg0)
void	DependencyHelper.setObjectiveFunction(WeightedObject<T>... wobj) Add an objective function to ask for a solution that minimize the objective function.

Method parameters in org.sat4j.pb.tools with type arguments of type WeightedObject

void	LexicoHelper.addWeightedCriterion(Collection<WeightedObject<T>> things)