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

Packages that use WeightedObject

org.sat4j.pb.tools

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, java.math.BigInteger w)
static <E> WeightedObject<E>	WeightedObject.newWO(E e, int w)

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

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.