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

Packages that use Learner

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

Uses of Learner in org.sat4j.minisat.constraints

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

Modifier and Type	Field and Description
protected Learner	AbstractDataStructureFactory.learner

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

Modifier and Type	Method and Description
void	AbstractDataStructureFactory.setLearner(Learner learner)

Uses of Learner in org.sat4j.minisat.core

Subinterfaces of Learner in org.sat4j.minisat.core

Modifier and Type	Interface and Description
interface	ICDCL<D extends DataStructureFactory> Abstraction for Conflict Driven Clause Learning Solver.

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

Modifier and Type	Class and Description
class	Solver<D extends DataStructureFactory> 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

Modifier and Type	Method and Description
void	DataStructureFactory.setLearner(Learner l)

Uses of Learner in org.sat4j.pb.core

Subinterfaces of Learner in org.sat4j.pb.core

Modifier and Type	Interface and Description
interface	IPBCDCLSolver<D extends PBDataStructureFactory> Abstraction for Conflict Driven Clause Learning PBSolver.

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

Modifier and Type	Class and Description
class	PBSolver
class	PBSolverCautious
class	PBSolverClause
class	PBSolverCP
class	PBSolverResCP
class	PBSolverResolution
class	PBSolverWithImpliedClause