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

Packages that use Propagatable

Package	Description
org.sat4j.minisat.constraints	Implementations of various constraints for MiniSAT.
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 Propagatable in org.sat4j.minisat.constraints

Methods in org.sat4j.minisat.constraints that return types with arguments of type Propagatable

Modifier and Type	Method and Description
IVec<Propagatable>	AbstractDataStructureFactory.getWatchesFor(int p)

Uses of Propagatable in org.sat4j.minisat.constraints.card

Classes in org.sat4j.minisat.constraints.card that implement Propagatable

Modifier and Type	Class and Description
class	AtLeast
class	MaxWatchCard
class	MinWatchCard

Uses of Propagatable in org.sat4j.minisat.constraints.cnf

Classes in org.sat4j.minisat.constraints.cnf that implement Propagatable

Modifier and Type	Class and Description
class	BinaryClause Data structure for binary clause.
class	HTClause Lazy data structure for clause using the Head Tail data structure from SATO, The original scheme is improved by avoiding moving pointers to literals but moving the literals themselves.
class	LearntBinaryClause
class	LearntHTClause
class	LearntWLClause
class	OriginalBinaryClause
class	OriginalHTClause
class	OriginalWLClause
class	WLClause Lazy data structure for clause using Watched Literals.

Methods in org.sat4j.minisat.constraints.cnf that return types with arguments of type Propagatable

Modifier and Type	Method and Description
IVec<Propagatable>	Lits.watches(int lit)

Methods in org.sat4j.minisat.constraints.cnf with parameters of type Propagatable

Modifier and Type	Method and Description
void	Lits.watch(int lit, Propagatable c)

Uses of Propagatable in org.sat4j.minisat.core

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

Modifier and Type	Method and Description
IVec<Propagatable>	DataStructureFactory.getWatchesFor(int p)
IVec<Propagatable>	ILits.watches(int lit)

Methods in org.sat4j.minisat.core with parameters of type Propagatable

Modifier and Type	Method and Description
void	ILits.watch(int lit, Propagatable c) Record a new constraint to watch when a literal is satisfied.

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

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

Modifier and Type	Class and Description
class	AtLeastPB
class	LearntBinaryClausePB
class	LearntHTClausePB
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	OriginalBinaryClausePB
class	OriginalHTClausePB
class	PuebloMinWatchPb
class	WatchPb Abstract data structure for pseudo-boolean constraint with watched literals.
class	WatchPbLong
class	WatchPbLongCP