|
||||||||||
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
public class PreProcessConfiguration
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 7 mai 2010
Since : Choco 2.1.1
Specific Configuration
extension for PreProcessCPSolver
.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class choco.kernel.solver.Configuration |
---|
Configuration.Default |
Field Summary | |
---|---|
static String |
CLIQUES_DETECTION
Goal: Active cliques detection Type: boolean Default value: true |
static String |
DISJUNCTIVE_DETECTION
Goal: Active disjunctive detection Type: boolean Default value: true |
static String |
DISJUNCTIVE_FROM_CUMULATIVE_DETECTION
Goal: state disjunctive global constraints extracted from cumulatives. |
static String |
DISJUNCTIVE_MODEL_DETECTION
Goal: detection of a generalized disjunctive graph within the model from scheduling constraints. |
static String |
DMD_GENERATE_CLAUSES
Goal: Generate ternary clauses to avoid the creation of cycle in the disjunctive graphs. |
static String |
DMD_REMOVE_DISJUNCTIVE
Goal: Remove global disjunctive constraints after the inferrence of disjunctions. |
static String |
DMD_USE_TIME_WINDOWS
Goal: infer also precedence form time windows Type: boolean Default value: true |
static String |
EXPRESSION_DETECTION
Goal: Active expression detection Type: boolean Default value: true |
static String |
INT_EQUALITY_DETECTION
Goal: Active detection equalities between integer variables Type: boolean Default value: true |
static String |
RESTART_MODE
Goal: Does it perform restart mode? |
static String |
SYMETRIE_BREAKING_DETECTION
Goal: Active symetrie breaking detection during cliques detection Type: boolean Default value: true |
static String |
TASK_EQUALITY_DETECTION
Goal: Active detection equalities between task variables Type: boolean Default value: true |
Fields inherited from class java.util.Properties |
---|
defaults |
Constructor Summary | |
---|---|
PreProcessConfiguration()
|
Method Summary | |
---|---|
static void |
cancelNonSchedulingPreProcess(Configuration conf)
|
static void |
cancelPreProcess(Configuration conf)
|
static void |
cancelPreProcess(Solver solver)
|
static void |
cancelSchedulingPreProcess(Configuration conf)
|
static String |
getPreProcessMsg(Configuration conf)
|
static void |
keepSchedulingPreProcess(Solver solver)
|
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 RESTART_MODE
public static final String INT_EQUALITY_DETECTION
public static final String TASK_EQUALITY_DETECTION
public static final String DISJUNCTIVE_DETECTION
public static final String EXPRESSION_DETECTION
public static final String CLIQUES_DETECTION
public static final String SYMETRIE_BREAKING_DETECTION
public static final String DISJUNCTIVE_MODEL_DETECTION
public static final String DMD_USE_TIME_WINDOWS
public static final String DMD_GENERATE_CLAUSES
public static final String DMD_REMOVE_DISJUNCTIVE
public static final String DISJUNCTIVE_FROM_CUMULATIVE_DETECTION
Constructor Detail |
---|
public PreProcessConfiguration()
Method Detail |
---|
public static final String getPreProcessMsg(Configuration conf)
public static final void cancelSchedulingPreProcess(Configuration conf)
public static final void cancelNonSchedulingPreProcess(Configuration conf)
public static final void keepSchedulingPreProcess(Solver solver)
public static final void cancelPreProcess(Configuration conf)
public static final void cancelPreProcess(Solver solver)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |