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

Packages that use Undoable

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

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

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) Retrieve the methods to call when the solver backtracks.

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	MaxWatchPbLong Data structure for pseudo-boolean constraint with watched literals.
class	MaxWatchPbLongCP Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchCardPB
class	MinWatchPb Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchPbLong Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchPbLongCP Data structure for pseudo-boolean constraint with watched literals.
class	MinWatchPbLongLimit Data structure for pseudo-boolean constraint with watched literals.
class	PuebloMinWatchPb
class	WatchPb Abstract data structure for pseudo-boolean constraint with watched literals.
class	WatchPbLong
class	WatchPbLongCP