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

Packages that use ImplicationAnd

org.sat4j.pb.tools

Implementation of different tools for pseudo boolean solvers

Uses of ImplicationAnd in org.sat4j.pb.tools

Methods in org.sat4j.pb.tools that return ImplicationAnd

ImplicationAnd<T,C>	ImplicationAnd.and(T thing) Add a new positive literal to the conjunction of literals.
ImplicationAnd<T,C>	ImplicationAnd.andNot(T thing) Add a new negative literal to the conjunction of literals.
ImplicationAnd<T,C>	ImplicationRHS.implies(T thing) Build an implication with a conjunction of literals in the RHS.
ImplicationAnd<T,C>	ImplicationRHS.impliesNot(T thing) Build an implication with a conjunction of literals in the RHS.