Package | Description |
---|---|
org.sat4j.pb.tools |
Modifier and Type | Method and Description |
---|---|
ImplicationNamer<T,C> |
DependencyHelper.atMost(int i,
T... things)
Create a constraint stating that at most i domain object should be set to
true.
|
ImplicationNamer<T,C> |
DisjunctionRHS.implies(T... things) |
ImplicationNamer<T,C> |
ImplicationRHS.implies(T... things)
Build an implication with a disjunction of literals in the RHS.
|