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

java.lang.Object
  org.sat4j.minisat.learning.LimitedLearning<L,D>
      org.sat4j.minisat.learning.ClauseOnlyLearning<L,D>

Type Parameters:

L - a data structure for the literals.

D - a data structure for the clauses.

All Implemented Interfaces:

java.io.Serializable, LearningStrategy<L,D>

public class ClauseOnlyLearning<L extends ILits,D extends DataStructureFactory<L>>
extends LimitedLearning<L,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)
java.lang.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<L extends ILits,D extends DataStructureFactory<L>>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object