org.sat4j.minisat.core
Class SearchParams

java.lang.Object
  extended by 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