org.jacop.jasat.core

Class Config

java.lang.Object

java.util.Dictionary<K,V>

java.util.Hashtable<Object,Object>

java.util.Properties

org.jacop.jasat.core.Config

All Implemented Interfaces:

Serializable, Cloneable, Map<Object,Object>

public class Config
extends Properties

The configuration for a solver. It contains all numeric values or enumerations needed to set the solver behavior; those parameters can be changed before the Config object is given to the solver.

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
int	bump_rate the default bump rate.
List<AbstractClausesDatabase>	clausesDatabases the list of databases the solver must add
boolean	debug switch for debug mode
List<SolverComponent>	mainComponents the list of components the solver must add
int	MAX_NUMBER_OF_DATABASES how many clausesDatabases can we have ? must be a power of 2
int	MEMORY_POOL_MAX_SIZE the maximum size of int[] to store in the memory pool
int	MEMORY_POOL_STOCK_SIZE number of int[] of each size in the memory pool
int	rebase_threshold threshold above which a rebase is performed for activity counters
long	RESTART_CONFLICT_THRESHOLD initial threshold (number of conflicts needed) for restarts
double	RESTART_THRESHOLD_INCREASE_RATE factor by which restart threshold is increased
long	seed random seed, to be changed if we want to redo the same run
long	timeout the default timeout, in seconds, for searches.
int	trail_size initial number of variables in the trail
int	verbosity controls default solver verbosity

Fields inherited from class java.util.Properties

defaults

Constructor Summary

Constructors

Constructor and Description
Config() constructor for config, that adds some default components.

Method Summary

Modifier and Type	Method and Description
boolean	check() check some properties of the config
static Config	defaultConfig() static access to the default config
String	toString()

Methods inherited from class java.util.Properties

getProperty, getProperty, list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames

Methods inherited from class java.util.Hashtable

clear, clone, compute, computeIfAbsent, computeIfPresent, contains, containsKey, containsValue, elements, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keys, keySet, merge, put, putAll, putIfAbsent, rehash, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

MAX_NUMBER_OF_DATABASES

public int MAX_NUMBER_OF_DATABASES

how many clausesDatabases can we have ? must be a power of 2

MEMORY_POOL_STOCK_SIZE

public int MEMORY_POOL_STOCK_SIZE

number of int[] of each size in the memory pool

MEMORY_POOL_MAX_SIZE

public int MEMORY_POOL_MAX_SIZE

the maximum size of int[] to store in the memory pool

rebase_threshold

public int rebase_threshold

threshold above which a rebase is performed for activity counters

bump_rate

public int bump_rate

the default bump rate. It is added to activity at each bump()

trail_size

public int trail_size

initial number of variables in the trail

verbosity

public int verbosity

controls default solver verbosity

timeout

public long timeout

the default timeout, in seconds, for searches.

debug

public boolean debug

switch for debug mode

seed

public long seed

random seed, to be changed if we want to redo the same run

RESTART_THRESHOLD_INCREASE_RATE

public double RESTART_THRESHOLD_INCREASE_RATE

factor by which restart threshold is increased

RESTART_CONFLICT_THRESHOLD

public long RESTART_CONFLICT_THRESHOLD

initial threshold (number of conflicts needed) for restarts

mainComponents

public List<SolverComponent> mainComponents

the list of components the solver must add

clausesDatabases

public List<AbstractClausesDatabase> clausesDatabases

the list of databases the solver must add

Constructor Detail

Config

public Config()

constructor for config, that adds some default components. If you want to choose all components, just components.clear() (if you know what you do)

Method Detail

toString

public String toString()

Overrides:

toString in class Hashtable<Object,Object>

check

public boolean check()

check some properties of the config

Returns:

true if the config passes check, false if there is a problem

defaultConfig

public static Config defaultConfig()

static access to the default config

Returns:

default config