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

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

All Implemented Interfaces:

java.io.Serializable, LearningStrategy<L>

public class ClauseOnlyLearning<L extends ILits>
extends LimitedLearning<L>

See Also:

Serialized Form

Field Summary

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

lits

Constructor Summary

ClauseOnlyLearning()

Method Summary

int	getLimit()
protected boolean	learningCondition(Constr constr)
void	setLimit(int percent)
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>

setLimit

public void setLimit(int percent)

getLimit

public int getLimit()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object