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)