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

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

All Implemented Interfaces:

java.io.Serializable, LearningStrategy<L>

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

See Also:

Serialized Form

Constructor Summary

PercentLengthLearning()

PercentLengthLearning(int percent)

Method Summary

int	getLimit()
void	init() hook method called just before the search begins.
void	setLimit(int percent)
java.lang.String	toString()

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

learns, setSolver, setVarActivityListener

Methods inherited from class java.lang.Object

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

Constructor Detail

PercentLengthLearning

public PercentLengthLearning()

PercentLengthLearning

public PercentLengthLearning(int percent)

Method Detail

setLimit

public void setLimit(int percent)

getLimit

public int getLimit()

init

public void init()

Description copied from interface: LearningStrategy

hook method called just before the search begins. Useful to compute metrics/parameters based on the input formula.

Specified by:

init in interface LearningStrategy<L extends ILits>

Overrides:

init in class LimitedLearning<L extends ILits>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object