Uses of Class
choco.kernel.solver.Configuration.Default

Packages that use Configuration.Default
choco.cp.solver.preprocessor   
choco.kernel.solver   
parser.instances   
parser.instances.xcsp   
samples.tutorials.lns.lns   
 

Uses of Configuration.Default in choco.cp.solver.preprocessor
 

Fields in choco.cp.solver.preprocessor with annotations of type Configuration.Default
static String PreProcessConfiguration.CLIQUES_DETECTION
          
Goal: Active cliques detection
Type: boolean
Default value: true
static String PreProcessConfiguration.DISJUNCTIVE_DETECTION
          
Goal: Active disjunctive detection
Type: boolean
Default value: true
static String PreProcessConfiguration.DISJUNCTIVE_FROM_CUMULATIVE_DETECTION
          
Goal: state disjunctive global constraints extracted from cumulatives.
static String PreProcessConfiguration.DISJUNCTIVE_MODEL_DETECTION
          
Goal: detection of a generalized disjunctive graph within the model from scheduling constraints.
static String PreProcessConfiguration.DMD_GENERATE_CLAUSES
          
Goal: Generate ternary clauses to avoid the creation of cycle in the disjunctive graphs.
static String PreProcessConfiguration.DMD_REMOVE_DISJUNCTIVE
          
Goal: Remove global disjunctive constraints after the inferrence of disjunctions.
static String PreProcessConfiguration.DMD_USE_TIME_WINDOWS
          
Goal: infer also precedence form time windows
Type: boolean
Default value: true
static String PreProcessConfiguration.EXPRESSION_DETECTION
          
Goal: Active expression detection
Type: boolean
Default value: true
static String PreProcessConfiguration.INT_EQUALITY_DETECTION
          
Goal: Active detection equalities between integer variables
Type: boolean
Default value: true
static String PreProcessConfiguration.RESTART_MODE
          
Goal: Does it perform restart mode?
static String PreProcessConfiguration.SYMETRIE_BREAKING_DETECTION
          
Goal: Active symetrie breaking detection during cliques detection
Type: boolean
Default value: true
static String PreProcessConfiguration.TASK_EQUALITY_DETECTION
          
Goal: Active detection equalities between task variables
Type: boolean
Default value: true
 

Uses of Configuration.Default in choco.kernel.solver
 

Fields in choco.kernel.solver with annotations of type Configuration.Default
static String Configuration.BOTTOM_UP
          
Goal: Apply a bottom-up search algorithm (optimization).
static String Configuration.CARD_REASONNING
          
Goal: Enable card reasonning: decide if redundant constraints are automatically added to the model to reason on cardinalities on sets as well as kernel and enveloppe.
static String Configuration.CEQ_ORDER
          
Goal: constraint priority order for propagation engine
Type: int
Default value: 1234567 *
Restriction: |CEQ_ORDER| = 7, CEQ_ORDER = {1,2,3,4,5,6,7}
static String Configuration.HORIZON_UPPER_BOUND
          
Goal:
Type: int
Default value: 21474836 (choco.Choco.MAX_UPPER_BOUND)
static String Configuration.INIT_DESTRUCTIVE_LOWER_BOUND
          
Goal: Compute a destructive lower bound before starting the search (optimization).
static String Configuration.INIT_DLB_SHAVING
          
Goal: Apply shaving while computing the destructive lower bound.
static String Configuration.INIT_SHAVE_ONLY_DECISIONS
          
Goal: perform shaving only on decision vars.
static String Configuration.INIT_SHAVING
          
Goal: Enforce the use of shaving before starting the search.
static String Configuration.NOGOOD_RECORDING_FROM_RESTART
          
Goal: Enable nogood recording from restart.
static String Configuration.RANDOM_SEED
          
Goal: Initial seed to generate streams of pseudorandom numbers
Type: int
Default value: 0
static String Configuration.RATION_HOLE
          
Goal: The ratio of holes within domains to which decision are performed to switch from BC to AC
Type: double
Default value: 0.7f
static String Configuration.REAL_PRECISION
          
Goal: Precision of the search for problem involving real variables
Type: double
Default value: 1.0e-6
static String Configuration.REAL_REDUCTION
          
Goal: Minimal width reduction between two propagations, for problem involving real variables
Type: double
Default value: 0.99
static String Configuration.RECOMPUTATION_GAP
          
Goal: Tells the strategy wether or not use recomputation.
static String Configuration.RESOLUTION_POLICY
          
Goal: Resolution policy: satisfaction or optimization (minimization or maximization).
static String Configuration.RESTART_AFTER_SOLUTION
          
Goal: do restart from root node after each solution.
static String Configuration.RESTART_BASE
          
Goal: initial number of fails limiting the first search.
static String Configuration.RESTART_GEOM_GROW
          
Goal: geometrical factor for restart strategy
Type: double
Default value: 1.2
static String Configuration.RESTART_GEOMETRICAL
          
Goal: To enable geometrical restart.
static String Configuration.RESTART_LIMIT
          
Goal: Restart limit type.
static String Configuration.RESTART_LIMIT_BOUND
          
Goal: Restart limit bound.
static String Configuration.RESTART_LUBY
          
Goal: To enable luby restart.
static String Configuration.RESTART_LUBY_GROW
          
Goal: geometrical factor for restart strategy
Type: int
Default value: 2
static String Configuration.RESTART_POLICY_LIMIT
          
Goal: Restart Policy limit type.
static String Configuration.RESTORE_BEST_SOLUTION
          
Goal:
Type: boolean
Default value: true
static String Configuration.SEARCH_LIMIT
          
Goal: Search limit type.
static String Configuration.SEARCH_LIMIT_BOUND
          
Goal: Search limit bound.
static String Configuration.SOLUTION_POOL_CAPACITY
          
Goal: Solution pool capacity, number of solutions to store within the solutions' pool.
static String Configuration.STOP_AT_FIRST_SOLUTION
          
Goal: Search for all solutions of a problem.
static String Configuration.VEQ_ORDER
          
Goal: variable priority order for propagation engine
Type: int
Default value: 1234567
Restriction: |VEQ_ORDER| = 7, VEQ_ORDER = {1,2,3,4,5,6,7}
 

Uses of Configuration.Default in parser.instances
 

Fields in parser.instances with annotations of type Configuration.Default
static String BasicSettings.CANCEL_CP_SOLVE
          
Goal: indicates that the constraint programming step is cancelled (only preprocessing step).
static String BasicSettings.LIGHT_MODEL
          
Goal: indicates that the constraint model use light propagation algorithms (for example, it decomposes some global constraints).
static String BasicSettings.OUTPUT_DIRECTORY
          
Goal: indicates that the best solution is exported.
static String BasicSettings.PREPROCESSING_HEURISTICS
          
Goal: indicates if the heuristics is applied during preprocessing.
static String BasicSettings.PREPROCESSING_TIME_LIMIT
          
Goal: time limit of a preprocessing step.
static String BasicSettings.RANDOM_TIE_BREAKING
          
Goal: indicates if the ties are broken randomly in variable-selection or value-selection heuristics.
static String BasicSettings.RANDOM_VALUE
          
Goal: indicates if selection is random in value-selection heuristics.
static String BasicSettings.SOLUTION_EXPORT
          
Goal: indicates that the best solution is exported.
static String BasicSettings.SOLUTION_REPORT
          
Goal: indicates that the best solution is reported.
 

Uses of Configuration.Default in parser.instances.xcsp
 

Fields in parser.instances.xcsp with annotations of type Configuration.Default
static String XcspSettings.EXTERNAL_CHECK
          
Goal: external check of the solution
Type: boolean
Default value: false
static String XcspSettings.HEURISTIC
          
Goal: Set the heuristic for CSP competition
Type: Heuristic
Default value: DOMOVERDEG
static String XcspSettings.SINGLETON_CONSISTENCY
          
Goal: perform singleton consistency step or not
Type: boolean
Default value: false
 

Uses of Configuration.Default in samples.tutorials.lns.lns
 

Fields in samples.tutorials.lns.lns with annotations of type Configuration.Default
static String LNSCPConfiguration.LNS_INIT_SEARCH_LIMIT
          the limit type set on the B&B in the initial step of LNS
static String LNSCPConfiguration.LNS_INIT_SEARCH_LIMIT_BOUND
          the limit value set on the B&B in the initial step of LNS
static String LNSCPConfiguration.LNS_NEIGHBORHOOD_SEARCH_LIMIT
          the limit type set on the backtracking in each neighborhood exploration of LNS
static String LNSCPConfiguration.LNS_NEIGHBORHOOD_SEARCH_LIMIT_BOUND
          the limit value set on the backtracking in each neighborhood exploration of LNS
static String LNSCPConfiguration.LNS_RUN_LIMIT_NUMBER
          the number of iterations of the loop in the second step of LNS
static String LNSCPConfiguration.LNS_USE
          a boolean indicating wether the CP model must be solved by LNS or B&B
 



Copyright © 2012. All Rights Reserved.