org.sat4j.minisat.core
Class SearchParams

java.lang.Object
  org.sat4j.minisat.core.SearchParams

All Implemented Interfaces:

java.io.Serializable

public class SearchParams
extends java.lang.Object
implements java.io.Serializable

Author:

leberre Structure de donn�es permettant de configurer le prouveur.

See Also:

Serialized Form

Field Summary

double	conflictBoundIncFactor
int	initConflictBound
double	initLearntBoundConstraintFactor
double	learntBoundIncFactor

Constructor Summary

SearchParams()

SearchParams(double d, double e, double f, double g, double h, int i)

SearchParams(double learntincfactor, double confincfactor, double initLearntbound, int conflictBound)

SearchParams(double initLearntbound, int conflictBound)

SearchParams(int conflictBound)

Method Summary

double	getClaDecay()
double	getVarDecay()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

conflictBoundIncFactor

public double conflictBoundIncFactor

learntBoundIncFactor

public double learntBoundIncFactor

initLearntBoundConstraintFactor

public double initLearntBoundConstraintFactor

initConflictBound

public int initConflictBound

Constructor Detail

SearchParams

public SearchParams()

SearchParams

public SearchParams(int conflictBound)

SearchParams

public SearchParams(double initLearntbound,
                    int conflictBound)

SearchParams

public SearchParams(double learntincfactor,
                    double confincfactor,
                    double initLearntbound,
                    int conflictBound)

SearchParams

public SearchParams(double d,
                    double e,
                    double f,
                    double g,
                    double h,
                    int i)

Parameters:

d - variable decay

e - clause decay

f - conflict bound increase factor

g - learnt bound increase factor

h - initial bound for learnt clauses as a factor of the number of constraints

i - initialConflictBound

Method Detail

getClaDecay

public double getClaDecay()

Returns:

la valeur de clause decay

getVarDecay

public double getVarDecay()

Returns:

la valeur de var decay

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object