org.sat4j.minisat.learning
Class FixedLengthLearning<D extends DataStructureFactory>

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

public final class FixedLengthLearning<D extends DataStructureFactory>
extends LimitedLearning<D>

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

Author:
leberre
See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.minisat.learning.LimitedLearning
lits
 
Constructor Summary
FixedLengthLearning()
           
FixedLengthLearning(int maxlength)
           
 
Method Summary
 int getMaxLength()
           
 void init()
          hook method called just before the search begins.
protected  boolean learningCondition(Constr constr)
           
protected  void setBound(int newbound)
           
 void setMaxLength(int v)
           
 String toString()
           
 
Methods inherited from class org.sat4j.minisat.learning.LimitedLearning
learns, setSolver, setVarActivityListener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FixedLengthLearning

public FixedLengthLearning()

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

setMaxLength

public void setMaxLength(int v)

getMaxLength

public int getMaxLength()

toString

public String toString()
Overrides:
toString in class Object

setBound

protected void setBound(int newbound)

learningCondition

protected boolean learningCondition(Constr constr)
Specified by:
learningCondition in class LimitedLearning<D extends DataStructureFactory>


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.