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

Packages that use ImplicationNamer

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

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.