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

Packages that use ImplicationAnd

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

Modifier and Type	Method and Description
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.