|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.Dictionary<K,V>
java.util.Hashtable<Object,Object>
java.util.Properties
choco.kernel.solver.Configuration
choco.cp.solver.preprocessor.PreProcessConfiguration
parser.instances.BasicSettings
public class BasicSettings
Nested Class Summary |
---|
Nested classes/interfaces inherited from class choco.kernel.solver.Configuration |
---|
Configuration.Default |
Field Summary | |
---|---|
static String |
CANCEL_CP_SOLVE
Goal: indicates that the constraint programming step is cancelled (only preprocessing step). |
static String |
LIGHT_MODEL
Goal: indicates that the constraint model use light propagation algorithms (for example, it decomposes some global constraints). |
static String |
OUTPUT_DIRECTORY
Goal: indicates that the best solution is exported. |
static String |
PREPROCESSING_HEURISTICS
Goal: indicates if the heuristics is applied during preprocessing. |
static String |
PREPROCESSING_TIME_LIMIT
Goal: time limit of a preprocessing step. |
static String |
RANDOM_TIE_BREAKING
Goal: indicates if the ties are broken randomly in variable-selection or value-selection heuristics. |
static String |
RANDOM_VALUE
Goal: indicates if selection is random in value-selection heuristics. |
static String |
SOLUTION_EXPORT
Goal: indicates that the best solution is exported. |
static String |
SOLUTION_REPORT
Goal: indicates that the best solution is reported. |
Fields inherited from class choco.cp.solver.preprocessor.PreProcessConfiguration |
---|
CLIQUES_DETECTION, DISJUNCTIVE_DETECTION, DISJUNCTIVE_FROM_CUMULATIVE_DETECTION, DISJUNCTIVE_MODEL_DETECTION, DMD_GENERATE_CLAUSES, DMD_REMOVE_DISJUNCTIVE, DMD_USE_TIME_WINDOWS, EXPRESSION_DETECTION, INT_EQUALITY_DETECTION, RESTART_MODE, SYMETRIE_BREAKING_DETECTION, TASK_EQUALITY_DETECTION |
Fields inherited from class java.util.Properties |
---|
defaults |
Constructor Summary | |
---|---|
BasicSettings()
|
Method Summary | |
---|---|
static String |
getInstModelMsg(Configuration conf)
|
static File |
getOutputDirectory(Configuration conf)
|
static void |
updateTimeLimit(Configuration conf,
long delta)
|
Methods inherited from class choco.cp.solver.preprocessor.PreProcessConfiguration |
---|
cancelNonSchedulingPreProcess, cancelPreProcess, cancelPreProcess, cancelSchedulingPreProcess, getPreProcessMsg, keepSchedulingPreProcess |
Methods inherited from class choco.kernel.solver.Configuration |
---|
loadDefault, putBoolean, putDouble, putEnum, putFalse, putFile, putInt, putLong, putTrue, readBoolean, readBoolean, readDouble, readDouble, readEnum, readEnum, readFile, readFile, readInt, readInt, readLong, readLong, readString, readString, setDefault, storeDefault |
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, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, toString, values |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final String PREPROCESSING_TIME_LIMIT
public static final String PREPROCESSING_HEURISTICS
public static final String LIGHT_MODEL
public static final String RANDOM_VALUE
public static final String RANDOM_TIE_BREAKING
public static final String CANCEL_CP_SOLVE
public static final String SOLUTION_REPORT
public static final String SOLUTION_EXPORT
public static final String OUTPUT_DIRECTORY
Constructor Detail |
---|
public BasicSettings()
Method Detail |
---|
public static File getOutputDirectory(Configuration conf)
public static void updateTimeLimit(Configuration conf, long delta)
public static String getInstModelMsg(Configuration conf)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |