parser.instances.xcsp
Class XcspSettings
java.lang.Object
java.util.Dictionary<K,V>
java.util.Hashtable<Object,Object>
java.util.Properties
choco.kernel.solver.Configuration
choco.cp.solver.preprocessor.PreProcessConfiguration
parser.instances.BasicSettings
parser.instances.xcsp.XcspSettings
- All Implemented Interfaces:
- Serializable, Cloneable, Map<Object,Object>
public class XcspSettings
- extends BasicSettings
- See Also:
- Serialized Form
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 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 |
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 |
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
XcspSettings
public XcspSettings()
match
public static XcspSettings.Heuristic match(int heuristic)
Copyright © 2012. All Rights Reserved.