Uses of Interface

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 MaxWatchPb
 class MinWatchPb
 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)