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.

Uses of Learner in org.sat4j.minisat.constraints

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<L extends ILits,D extends DataStructureFactory<L>> 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)