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, java.io.Serializable
Learn only clauses which size is smaller than a percentage of the number of
variables.
- Author:
- leberre
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
LimitedLearning
public LimitedLearning()
LimitedLearning
public LimitedLearning(int percent)
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