org.sat4j.minisat.core
Class SearchParams

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

All Implemented Interfaces:

Serializable

public class SearchParams
extends Object
implements 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)
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 String toString()

Overrides:

toString in class 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