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

Packages that use ImplicationAnd
org.sat4j.pb.tools   
 

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.
 



Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.