org.sat4j.minisat.learning
Class LimitedLearning

java.lang.Object
  org.sat4j.minisat.learning.LimitedLearning

All Implemented Interfaces:

java.io.Serializable, LearningStrategy

Direct Known Subclasses:

ActiveLearning, FixedLengthLearning

public class LimitedLearning
extends java.lang.Object
implements LearningStrategy

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

Author:

leberre

See Also:

Serialized Form

Constructor Summary

LimitedLearning()

LimitedLearning(int percent)

Method Summary

void	init() hook method called just before the search begins.
void	learns(Constr constr)
void	setSolver(Solver s)
void	setVarActivityListener(VarActivityListener s)
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LimitedLearning

public LimitedLearning()

LimitedLearning

public LimitedLearning(int percent)

Method Detail

setSolver

public void setSolver(Solver s)

learns

public void learns(Constr constr)

Specified by:

learns in interface LearningStrategy

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setVarActivityListener

public void setVarActivityListener(VarActivityListener s)

Specified by:

setVarActivityListener in interface LearningStrategy