Uses of Class
org.sat4j.minisat.learning.LimitedLearning

Packages that use LimitedLearning

Package	Description
org.sat4j.minisat.learning	Various learning strategies.

Uses of LimitedLearning in org.sat4j.minisat.learning

Subclasses of LimitedLearning in org.sat4j.minisat.learning

Modifier and Type	Class and Description
class	ActiveLearning<D extends DataStructureFactory> Learn clauses with a great number of active variables.
class	ClauseOnlyLearning<D extends DataStructureFactory> The solver only records among all the constraints only the clauses.
class	FixedLengthLearning<D extends DataStructureFactory> A learning scheme for learning constraints of size smaller than a given constant.
class	PercentLengthLearning<D extends DataStructureFactory> Selects the constraints to learn according to its length as a percentage of the total number of variables in the solver universe.