org.sat4j.minisat.learning

Class ClauseOnlyLearning<D extends DataStructureFactory>

java.lang.Object

org.sat4j.minisat.learning.LimitedLearning<D>

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

Constructors

Constructor and Description
ClauseOnlyLearning()

Method Summary

Methods

Modifier and Type	Method and Description
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