|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |