parser.instances.xcsp
Class XcspSettings

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
                          extended by parser.instances.xcsp.XcspSettings
All Implemented Interfaces:
Serializable, Cloneable, Map<Object,Object>

public class XcspSettings
extends BasicSettings

See Also:
Serialized Form

Nested Class Summary
static class XcspSettings.Heuristic
           
 
Nested classes/interfaces inherited from class choco.kernel.solver.Configuration
Configuration.Default
 
Field Summary
static String EXTERNAL_CHECK
          
Goal: external check of the solution
Type: boolean
Default value: false
static String HEURISTIC
          
Goal: Set the heuristic for CSP competition
Type: Heuristic
Default value: DOMOVERDEG
static String SINGLETON_CONSISTENCY
          
Goal: perform singleton consistency step or not
Type: boolean
Default value: false
 
Fields inherited from class parser.instances.BasicSettings
CANCEL_CP_SOLVE, LIGHT_MODEL, OUTPUT_DIRECTORY, PREPROCESSING_HEURISTICS, PREPROCESSING_TIME_LIMIT, RANDOM_TIE_BREAKING, RANDOM_VALUE, SOLUTION_EXPORT, SOLUTION_REPORT
 
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
XcspSettings()
           
 
Method Summary
static XcspSettings.Heuristic match(int heuristic)
           
 
Methods inherited from class parser.instances.BasicSettings
getInstModelMsg, getOutputDirectory, updateTimeLimit
 
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

HEURISTIC

public static final String HEURISTIC

Goal: Set the heuristic for CSP competition
Type: Heuristic
Default value: DOMOVERDEG

See Also:
Constant Field Values

SINGLETON_CONSISTENCY

public static final String SINGLETON_CONSISTENCY

Goal: perform singleton consistency step or not
Type: boolean
Default value: false

See Also:
Constant Field Values

EXTERNAL_CHECK

public static final String EXTERNAL_CHECK

Goal: external check of the solution
Type: boolean
Default value: false

See Also:
Constant Field Values
Constructor Detail

XcspSettings

public XcspSettings()
Method Detail

match

public static XcspSettings.Heuristic match(int heuristic)


Copyright © 2012. All Rights Reserved.