Uses of Interface
org.sat4j.minisat.core.Undoable

Packages that use Undoable
org.sat4j.minisat.constraints.card Implementations of cardinality contraints. 
org.sat4j.minisat.constraints.cnf Implementations of clausal contraints. 
org.sat4j.minisat.constraints.pb Implementations of pseudo boolean contraints. 
org.sat4j.minisat.core Implementation of the MiniSAT solver skeleton. 
 

Uses of Undoable in org.sat4j.minisat.constraints.card
 

Classes in org.sat4j.minisat.constraints.card that implement Undoable
 class AtLeast
           
 class MaxWatchCard
           
 class MinWatchCard
           
 

Uses of Undoable in org.sat4j.minisat.constraints.cnf
 

Classes in org.sat4j.minisat.constraints.cnf that implement Undoable
 class CBClause
           
 class MixableCBClause
          Counter Based clauses that can be mixed with WLCLauses
 

Methods in org.sat4j.minisat.constraints.cnf that return types with arguments of type Undoable
 IVec<Undoable> Lits.undos(int lit)
           
 

Uses of Undoable in org.sat4j.minisat.constraints.pb
 

Classes in org.sat4j.minisat.constraints.pb that implement Undoable
 class AtLeastPB
           
 class MaxWatchPb
           
 class MinWatchCardPB
           
 class MinWatchPb
           
 class MixableCBClausePB
           
 class PuebloMinWatchPb
           
 class WatchPb
           
 

Uses of Undoable in org.sat4j.minisat.core
 

Methods in org.sat4j.minisat.core that return types with arguments of type Undoable
 IVec<Undoable> ILits.undos(int lit)
           
 



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