org.sat4j.minisat.learning
Class FixedLengthLearning

java.lang.Object
  extended by org.sat4j.minisat.learning.LimitedLearning
      extended by org.sat4j.minisat.learning.FixedLengthLearning
All Implemented Interfaces:
java.io.Serializable, LearningStrategy

public class FixedLengthLearning
extends LimitedLearning

A learning scheme for learning constraints of size smaller than a given constant.

Author:
leberre
See Also:
Serialized Form

Constructor Summary
FixedLengthLearning(int maxlength)
           
 
Method Summary
 void init()
          hook method called just before the search begins.
 java.lang.String toString()
           
 
Methods inherited from class org.sat4j.minisat.learning.LimitedLearning
learns, setSolver, setVarActivityListener
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FixedLengthLearning

public FixedLengthLearning(int maxlength)
Method Detail

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
Overrides:
init in class LimitedLearning

toString

public java.lang.String toString()
Overrides:
toString in class LimitedLearning