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.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.pb.core

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

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

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

void	DataStructureFactory.setLearner(Learner l)

Uses of Learner in org.sat4j.pb.core

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

class	PBSolver
class	PBSolverCautious
class	PBSolverClause
class	PBSolverCP
class	PBSolverMerging
class	PBSolverResCP
class	PBSolverResolution
class	PBSolverWithImpliedClause