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

Packages that use Learner

org.sat4j.minisat.constraints	Implementations of various constraints for MiniSAT.
org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.

Uses of Learner in org.sat4j.minisat.constraints

Fields in org.sat4j.minisat.constraints declared as Learner

protected Learner

AbstractDataStructureFactory.learner

Methods in org.sat4j.minisat.constraints with parameters of type Learner

void	AbstractDataStructureFactory.setLearner(Learner learner)

Uses of Learner in org.sat4j.minisat.constraints.pb

Classes in org.sat4j.minisat.constraints.pb that implement Learner

class	PBSolver<L extends ILits>
class	PBSolverClause
class	PBSolverMerging
class	PBSolverWithImpliedClause

Uses of Learner in org.sat4j.minisat.core

Classes in org.sat4j.minisat.core that implement Learner

class

Solver<L extends ILits> The backbone of the library providing the modular implementation of a MiniSAT (Chaff) like solver.

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

void	DataStructureFactory.setLearner(Learner l)