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

java.lang.Object
  extended by org.sat4j.minisat.learning.LimitedLearning<D>
      extended by org.sat4j.minisat.learning.ClauseOnlyLearning<D>
Type Parameters:
L - a data structure for the literals.
D - a data structure for the clauses.
All Implemented Interfaces:
Serializable, LearningStrategy<D>

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

The solver only records among all the constraints only the clauses.

Author:
daniel
See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.minisat.learning.LimitedLearning
lits
 
Constructor Summary
ClauseOnlyLearning()
           
 
Method Summary
protected  boolean learningCondition(Constr constr)
           
 String toString()
           
 
Methods inherited from class org.sat4j.minisat.learning.LimitedLearning
init, learns, setSolver, setVarActivityListener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ClauseOnlyLearning

public ClauseOnlyLearning()
Method Detail

learningCondition

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

toString

public String toString()
Overrides:
toString in class Object


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