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

Packages that use WeightedObject

Package	Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
void	LexicoHelper.addWeightedCriterion(Collection<WeightedObject<T>> things)