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

Constructor Summary

ClauseOnlyLearning()

Method Summary

java.lang.String

toString()

Methods inherited from class org.sat4j.minisat.learning.LimitedLearning

init, learns, setSolver, setVarActivityListener

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ClauseOnlyLearning

public ClauseOnlyLearning()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object