Package org.jacop.jasat.core
Class Config
- All Implemented Interfaces:
Serializable
,Cloneable
,Map<Object,
Object>
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.10
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionint
the default bump rate.the list of databases the solver must addboolean
switch for debug modethe list of components the solver must addint
how many clausesDatabases can we have ? must be a power of 2int
the maximum size of int[] to store in the memory poolint
number of int[] of each size in the memory poolint
threshold above which a rebase is performed for activity counterslong
initial threshold (number of conflicts needed) for restartsdouble
factor by which restart threshold is increasedlong
random seed, to be changed if we want to redo the same runlong
the default timeout, in seconds, for searches.int
initial number of variables in the trailint
controls default solver verbosityFields inherited from class java.util.Properties
defaults
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class java.util.Properties
clear, clone, compute, computeIfAbsent, computeIfPresent, contains, containsKey, containsValue, elements, entrySet, equals, forEach, get, getOrDefault, getProperty, getProperty, hashCode, isEmpty, keys, keySet, list, list, load, load, loadFromXML, merge, propertyNames, put, putAll, putIfAbsent, rehash, remove, remove, replace, replace, replaceAll, save, setProperty, size, store, store, storeToXML, storeToXML, storeToXML, stringPropertyNames, values
-
Field Details
-
MAX_NUMBER_OF_DATABASES
public int MAX_NUMBER_OF_DATABASEShow many clausesDatabases can we have ? must be a power of 2 -
MEMORY_POOL_STOCK_SIZE
public int MEMORY_POOL_STOCK_SIZEnumber of int[] of each size in the memory pool -
MEMORY_POOL_MAX_SIZE
public int MEMORY_POOL_MAX_SIZEthe maximum size of int[] to store in the memory pool -
rebase_threshold
public int rebase_thresholdthreshold above which a rebase is performed for activity counters -
bump_rate
public int bump_ratethe default bump rate. It is added to activity at each bump() -
trail_size
public int trail_sizeinitial number of variables in the trail -
verbosity
public int verbositycontrols default solver verbosity -
timeout
public long timeoutthe default timeout, in seconds, for searches. -
debug
public boolean debugswitch for debug mode -
seed
public long seedrandom seed, to be changed if we want to redo the same run -
RESTART_THRESHOLD_INCREASE_RATE
public double RESTART_THRESHOLD_INCREASE_RATEfactor by which restart threshold is increased -
RESTART_CONFLICT_THRESHOLD
public long RESTART_CONFLICT_THRESHOLDinitial threshold (number of conflicts needed) for restarts -
mainComponents
the list of components the solver must add -
clausesDatabases
the list of databases the solver must add
-
-
Constructor Details
-
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 Details
-
toString
- Overrides:
toString
in classProperties
-
check
public boolean check()check some properties of the config- Returns:
- true if the config passes check, false if there is a problem
-
defaultConfig
static access to the default config- Returns:
- default config
-