Package | Description |
---|---|
org.sat4j.pb.tools |
Modifier and Type | Method and Description |
---|---|
static <E> WeightedObject<E> |
WeightedObject.newWO(E e,
java.math.BigInteger w) |
static <E> WeightedObject<E> |
WeightedObject.newWO(E e,
int w) |
static <E> WeightedObject<E> |
WeightedObject.newWO(E e,
long w) |
Modifier and Type | Method and Description |
---|---|
void |
DependencyHelper.atLeast(C name,
java.math.BigInteger degree,
WeightedObject<T>... wobj)
Create a PB constraint of the form
w1.l1 + w2.l2 + ... |
void |
DependencyHelper.atMost(C name,
java.math.BigInteger degree,
WeightedObject<T>... wobj)
Create a PB constraint of the form
w1.l1 + w2.l2 + ... |
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.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractLexicoHelper.addWeightedCriterion(java.util.Collection<WeightedObject<T>> things) |