choco.cp.solver.preprocessor
Class PreProcessConfiguration

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
All Implemented Interfaces:
Serializable, Cloneable, Map<Object,Object>
Direct Known Subclasses:
BasicSettings

public class PreProcessConfiguration
extends Configuration

User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 7 mai 2010
Since : Choco 2.1.1
Specific Configuration extension for PreProcessCPSolver.

See Also:
Serialized Form

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 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
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

RESTART_MODE

public static final String RESTART_MODE

Goal: Does it perform restart mode?
Type: boolean
Default value: false

See Also:
Constant Field Values

INT_EQUALITY_DETECTION

public static final String INT_EQUALITY_DETECTION

Goal: Active detection equalities between integer variables
Type: boolean
Default value: true

See Also:
Constant Field Values

TASK_EQUALITY_DETECTION

public static final String TASK_EQUALITY_DETECTION

Goal: Active detection equalities between task variables
Type: boolean
Default value: true

See Also:
Constant Field Values

DISJUNCTIVE_DETECTION

public static final String DISJUNCTIVE_DETECTION

Goal: Active disjunctive detection
Type: boolean
Default value: true

See Also:
Constant Field Values

EXPRESSION_DETECTION

public static final String EXPRESSION_DETECTION

Goal: Active expression detection
Type: boolean
Default value: true

See Also:
Constant Field Values

CLIQUES_DETECTION

public static final String CLIQUES_DETECTION

Goal: Active cliques detection
Type: boolean
Default value: true

See Also:
Constant Field Values

SYMETRIE_BREAKING_DETECTION

public static final String SYMETRIE_BREAKING_DETECTION

Goal: Active symetrie breaking detection during cliques detection
Type: boolean
Default value: true

See Also:
Constant Field Values

DISJUNCTIVE_MODEL_DETECTION

public static final String DISJUNCTIVE_MODEL_DETECTION

Goal: detection of a generalized disjunctive graph within the model from scheduling constraints.
Type: boolean
Default value: true

See Also:
Constant Field Values

DMD_USE_TIME_WINDOWS

public static final String DMD_USE_TIME_WINDOWS

Goal: infer also precedence form time windows
Type: boolean
Default value: true

See Also:
Constant Field Values

DMD_GENERATE_CLAUSES

public static final String DMD_GENERATE_CLAUSES

Goal: Generate ternary clauses to avoid the creation of cycle in the disjunctive graphs. Warning : generate at most a cubic number of clauses from the tasks in the disjunctive graph.
Type: boolean
Default value: true

See Also:
Constant Field Values

DMD_REMOVE_DISJUNCTIVE

public static final String DMD_REMOVE_DISJUNCTIVE

Goal: Remove global disjunctive constraints after the inferrence of disjunctions.
Type: boolean
Default value: false

See Also:
Constant Field Values

DISJUNCTIVE_FROM_CUMULATIVE_DETECTION

public static final String DISJUNCTIVE_FROM_CUMULATIVE_DETECTION

Goal: state disjunctive global constraints extracted from cumulatives.
Type: boolean
Default value: false

See Also:
Constant Field Values
Constructor Detail

PreProcessConfiguration

public PreProcessConfiguration()
Method Detail

getPreProcessMsg

public static final String getPreProcessMsg(Configuration conf)

cancelSchedulingPreProcess

public static final void cancelSchedulingPreProcess(Configuration conf)

cancelNonSchedulingPreProcess

public static final void cancelNonSchedulingPreProcess(Configuration conf)

keepSchedulingPreProcess

public static final void keepSchedulingPreProcess(Solver solver)

cancelPreProcess

public static final void cancelPreProcess(Configuration conf)

cancelPreProcess

public static final void cancelPreProcess(Solver solver)


Copyright © 2012. All Rights Reserved.