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

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

All Implemented Interfaces:

java.io.Serializable, LearningStrategy<L>

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

A learning scheme for learning constraints of size smaller than a given constant.

Author:

leberre

See Also:

Serialized Form

Field Summary

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

lits

Constructor Summary

FixedLengthLearning()

FixedLengthLearning(int maxlength)

Method Summary

int	getMaxLength()
void	init() hook method called just before the search begins.
protected boolean	learningCondition(Constr constr)
protected void	setBound(int newbound)
void	setMaxLength(int v)
java.lang.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

FixedLengthLearning

public FixedLengthLearning()

FixedLengthLearning

public FixedLengthLearning(int maxlength)

Method Detail

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>

setMaxLength

public void setMaxLength(int v)

getMaxLength

public int getMaxLength()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setBound

protected void setBound(int newbound)

learningCondition

protected boolean learningCondition(Constr constr)

Specified by:

learningCondition in class LimitedLearning<L extends ILits>