|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ImplicationNamer | |
|---|---|
| org.sat4j.pb.tools | Implementation of different tools for pseudo boolean solvers |
| Uses of ImplicationNamer in org.sat4j.pb.tools |
|---|
| Methods in org.sat4j.pb.tools that return ImplicationNamer | |
|---|---|
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> |
ImplicationRHS.implies(T... things)
Build an implication with a disjunction of literals in the RHS. |
ImplicationNamer<T,C> |
DisjunctionRHS.implies(T... things)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||