org.sat4j.minisat.learning

Class PercentLengthLearning<D extends DataStructureFactory>

java.lang.Object

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

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

All Implemented Interfaces:

Serializable, LearningStrategy<D>

public final class PercentLengthLearning<D extends DataStructureFactory>
extends LimitedLearning<D>

Selects the constraints to learn according to its length as a percentage of the total number of variables in the solver universe.

Author:

daniel

See Also:

Serialized Form

Field Summary

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

lits

Constructor Summary

Constructors

Constructor and Description
PercentLengthLearning()
PercentLengthLearning(int percent)

Method Summary

Methods

Modifier and Type	Method and Description
int	getLimit()
void	init() hook method called just before the search begins.
protected boolean	learningCondition(Constr constr)
protected void	setBound(int newbound)
void	setLimit(int percent)
String	toString()

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

learns, setSolver, setVarActivityListener

Methods inherited from class java.lang.Object

clone, equals, finalize, 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<D extends DataStructureFactory>

Overrides:

init in class LimitedLearning<D extends DataStructureFactory>

toString

public String toString()

Overrides:

toString in class Object

setBound

protected void setBound(int newbound)

learningCondition

protected boolean learningCondition(Constr constr)

Specified by:

learningCondition in class LimitedLearning<D extends DataStructureFactory>