org.sat4j.minisat.learning
Class LimitedLearning<L extends ILits>

java.lang.Object
  org.sat4j.minisat.learning.LimitedLearning<L>

All Implemented Interfaces:

java.io.Serializable, LearningStrategy<L>

Direct Known Subclasses:

ActiveLearning, ClauseOnlyLearning, FixedLengthLearning, PercentLengthLearning

public abstract class LimitedLearning<L extends ILits>
extends java.lang.Object
implements LearningStrategy<L>

Learn only clauses which size is smaller than a percentage of the number of variables.

Author:

leberre

See Also:

Serialized Form

Field Summary

protected L

lits

Constructor Summary

LimitedLearning()

Method Summary

void	init() hook method called just before the search begins.
protected abstract boolean	learningCondition(Constr constr)
void	learns(Constr constr)
void	setSolver(Solver<L> s)
void	setVarActivityListener(VarActivityListener s)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

lits

protected L extends ILits lits

Constructor Detail

LimitedLearning

public LimitedLearning()

Method Detail

setSolver

public void setSolver(Solver<L> s)

Specified by:

setSolver in interface LearningStrategy<L extends ILits>

learns

public void learns(Constr constr)

Specified by:

learns in interface LearningStrategy<L extends ILits>

learningCondition

protected abstract boolean learningCondition(Constr constr)

init

public void init()

Description copied from interface: LearningStrategy

hook method called just before the search begins. Useful to compute metrics/parameters based on the input formula.

Specified by:

init in interface LearningStrategy<L extends ILits>

setVarActivityListener

public void setVarActivityListener(VarActivityListener s)

Specified by:

setVarActivityListener in interface LearningStrategy<L extends ILits>