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

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

All Implemented Interfaces:

java.io.Serializable, LearningStrategy<L,D>

public class PercentLengthLearning<L extends ILits,D extends DataStructureFactory<L>>
extends LimitedLearning<L,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

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,D extends DataStructureFactory<L>>

Overrides:

init in class LimitedLearning<L extends ILits,D extends DataStructureFactory<L>>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object