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

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