parser.instances
Class BasicSettings

java.lang.Object
  extended by java.util.Dictionary<K,V>
      extended by java.util.Hashtable<Object,Object>
          extended by java.util.Properties
              extended by choco.kernel.solver.Configuration
                  extended by choco.cp.solver.preprocessor.PreProcessConfiguration
                      extended by parser.instances.BasicSettings
All Implemented Interfaces:
Serializable, Cloneable, Map<Object,Object>
Direct Known Subclasses:
XcspSettings

public class BasicSettings
extends PreProcessConfiguration

See Also:
Serialized Form

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 choco.kernel.solver.Configuration
BOTTOM_UP, CARD_REASONNING, CEQ_ORDER, HORIZON_UPPER_BOUND, INIT_DESTRUCTIVE_LOWER_BOUND, INIT_DLB_SHAVING, INIT_SHAVE_ONLY_DECISIONS, INIT_SHAVING, NOGOOD_RECORDING_FROM_RESTART, RANDOM_SEED, RATION_HOLE, REAL_PRECISION, REAL_REDUCTION, RECOMPUTATION_GAP, RESOLUTION_POLICY, RESTART_AFTER_SOLUTION, RESTART_BASE, RESTART_GEOM_GROW, RESTART_GEOMETRICAL, RESTART_LIMIT, RESTART_LIMIT_BOUND, RESTART_LUBY, RESTART_LUBY_GROW, RESTART_POLICY_LIMIT, RESTORE_BEST_SOLUTION, SEARCH_LIMIT, SEARCH_LIMIT_BOUND, SOLUTION_POOL_CAPACITY, STOP_AT_FIRST_SOLUTION, VALUE_FALSE, VALUE_OFF, VALUE_TRUE, VEQ_ORDER
 
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

PREPROCESSING_TIME_LIMIT

public static final String PREPROCESSING_TIME_LIMIT

Goal: time limit of a preprocessing step.
Type: int
Default value: 15

See Also:
Constant Field Values

PREPROCESSING_HEURISTICS

public static final String PREPROCESSING_HEURISTICS

Goal: indicates if the heuristics is applied during preprocessing.
Type: boolean
Default value: true

See Also:
Constant Field Values

LIGHT_MODEL

public static final String LIGHT_MODEL

Goal: indicates that the constraint model use light propagation algorithms (for example, it decomposes some global constraints).
Type: boolean
Default value: false

See Also:
Constant Field Values

RANDOM_VALUE

public static final String RANDOM_VALUE

Goal: indicates if selection is random in value-selection heuristics.
Type: boolean
Default value: false

See Also:
Constant Field Values

RANDOM_TIE_BREAKING

public static final String RANDOM_TIE_BREAKING

Goal: indicates if the ties are broken randomly in variable-selection or value-selection heuristics.
Type: boolean
Default value: false

See Also:
Constant Field Values

CANCEL_CP_SOLVE

public static final String CANCEL_CP_SOLVE

Goal: indicates that the constraint programming step is cancelled (only preprocessing step).
Type: boolean
Default value: false

See Also:
Constant Field Values

SOLUTION_REPORT

public static final String SOLUTION_REPORT

Goal: indicates that the best solution is reported.
Type: boolean
Default value: false

See Also:
Constant Field Values

SOLUTION_EXPORT

public static final String SOLUTION_EXPORT

Goal: indicates that the best solution is exported.
Type: boolean
Default value: false

See Also:
Constant Field Values

OUTPUT_DIRECTORY

public static final String OUTPUT_DIRECTORY

Goal: indicates that the best solution is exported.
Type: File
Default value: TMP (codename of property java.io.tmpdir"

See Also:
Constant Field Values
Constructor Detail

BasicSettings

public BasicSettings()
Method Detail

getOutputDirectory

public static File getOutputDirectory(Configuration conf)

updateTimeLimit

public static void updateTimeLimit(Configuration conf,
                                   long delta)

getInstModelMsg

public static String getInstModelMsg(Configuration conf)


Copyright © 2012. All Rights Reserved.