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

Constructor Summary

ClauseOnlyLearning()

Method Summary

int	getLimit()
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

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

Constructor Detail

ClauseOnlyLearning

public ClauseOnlyLearning()

Method Detail

setLimit

public void setLimit(int percent)

getLimit

public int getLimit()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object