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

Some parameters used during the search.

Author:
daniel
See Also:
Serialized Form

Constructor Summary
SearchParams()
          Default search parameters.
SearchParams(double d, double e, double f, int i)
           
SearchParams(double confincfactor, int conflictBound)
           
SearchParams(int conflictBound)
           
 
Method Summary
 double getClaDecay()
           
 double getConflictBoundIncFactor()
           
 int getInitConflictBound()
           
 double getVarDecay()
           
 void setClaDecay(double claDecay)
           
 void setConflictBoundIncFactor(double conflictBoundIncFactor)
           
 void setInitConflictBound(int initConflictBound)
           
 void setVarDecay(double varDecay)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SearchParams

public SearchParams()
Default search parameters.


SearchParams

public SearchParams(int conflictBound)
Parameters:
conflictBound - the initial conflict bound for the first restart.

SearchParams

public SearchParams(double confincfactor,
                    int conflictBound)

SearchParams

public SearchParams(double d,
                    double e,
                    double f,
                    int i)
Parameters:
d - variable decay
e - clause decay
f - conflict bound increase factor
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

setConflictBoundIncFactor

public void setConflictBoundIncFactor(double conflictBoundIncFactor)
Parameters:
conflictBoundIncFactor - the conflictBoundIncFactor to set

setInitConflictBound

public void setInitConflictBound(int initConflictBound)
Parameters:
initConflictBound - the initConflictBound to set

getConflictBoundIncFactor

public double getConflictBoundIncFactor()
Returns:
the conflictBoundIncFactor

getInitConflictBound

public int getInitConflictBound()
Returns:
the initConflictBound

setClaDecay

public void setClaDecay(double claDecay)
Parameters:
claDecay - the claDecay to set

setVarDecay

public void setVarDecay(double varDecay)
Parameters:
varDecay - the varDecay to set


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.