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

Packages that use Propagatable

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

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

IVec<Propagatable>	AbstractDataStructureFactory.getWatchesFor(int p)
IVec<Propagatable>	ClausalDataStructureCB.getWatchesFor(int p)

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

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

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

class	BinaryClause Data structure for binary clause.
class	CBClause
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	MixableCBClause Counter Based clauses that can be mixed with WLCLauses
class	OriginalBinaryClause
class	OriginalHTClause
class	OriginalWLClause
class	UnitClause
class	UnitClauses
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

IVec<Propagatable>

Lits.watches(int lit)

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

void	Lits.watch(int lit, Propagatable c)

Uses of Propagatable in org.sat4j.minisat.core

Subinterfaces of Propagatable in org.sat4j.minisat.core

interface

Constr Basic constraint abstraction used in Solver.

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

IVec<Propagatable>	DataStructureFactory.getWatchesFor(int p)
IVec<Propagatable>	ILits.watches(int lit)

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

void	ILits.watch(int lit, Propagatable c)

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

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

interface

PBConstr

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

class	AtLeastPB
class	LearntBinaryClausePB
class	LearntHTClausePB
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	OriginalBinaryClausePB
class	OriginalHTClausePB
class	PuebloMinWatchPb
class	UnitClausePB
class	WatchPb Abstract data structure for pseudo-boolean constraint with watched literals.