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.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean contraints.

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.core

Methods in org.sat4j.minisat.core that return types with arguments of type Undoable

IVec<Undoable>

ILits.undos(int lit)

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

Classes in org.sat4j.pb.constraints.pb that implement Undoable

class	AtLeastPB
class	MaxWatchPb Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchCardPB
class	MinWatchPb Data structure for pseudo-boolean constraint with watched literals.
class	MixableCBClausePB
class	PuebloMinWatchPb
class	WatchPb Abstract data structure for pseudo-boolean constraint with watched literals.