public interface Settings
Model
.
Since java8, acts as default settings.
Created by cprudhom on 25/11/14. Project: choco.
Modifier and Type | Method and Description |
---|---|
default boolean |
checkModel(Solver solver)
Define what to do when a solution is found.
|
default boolean |
cloneVariableArrayInPropagator()
If this setting is set to true (default value), a clone of the input variable array is made in any propagator constructors.
|
default boolean |
debugPropagation()
When this setting returns true, a complete trace of the events is output.
|
default String |
defaultPrefix()
Define the prefix of internally created variables (through a call to
IVariableFactory.generateName() |
default boolean |
enableACOnTernarySum()
If this is set to true then AC algorithm is used to filter ternary sum,
otherwise, BC is used.
|
default boolean |
enableDecompositionOfBooleanSum()
Return true if boolean sum should be decomposed into an equality constraint and an arithmetic constraint,
return false if a single constraint should be used instead.
|
default boolean |
enableIncrementalityOnBoolSum(int nbvars)
Return true if the incrementality is enabled on boolean sum, based on the number of variables involved.
|
default boolean |
enableSAT() |
default boolean |
enableTableSubstitution()
Set to true to replace some intension constraints by extension constraints
|
default boolean |
enableViews()
Set to 'true' to allow the creation of views in the
Model . |
default short[] |
getCoarseEventPriority()
Defines, for coarse events, for each priority, the queue in which a propagator of such a priority should be scheduled in
/!
|
default ICondition |
getEnvironmentHistorySimulationCondition()
Return the condition to satisfy when rebuilding history of backtrackable objects is needed.
|
default short[] |
getFineEventPriority()
Defines, for fine events, for each priority, the queue in which a propagator of such a priority should be scheduled in
/!
|
default int |
getMaxDomSizeForEnumerated()
Define the maximum domain size threshold to force integer variable to be enumerated
instead of bounded while calling
IVariableFactory.intVar(String, int, int) . |
default int |
getMaxTupleSizeForSubstitution()
Define the maximum domain size threshold to replace intension constraints by extension constraints
Only checked when ENABLE_TABLE_SUBS is set to true
|
default double |
getMCRDecimalPrecision()
Defines the smallest used double for
IIntConstraintFactory.multiCostRegular(IntVar[], IntVar[], ICostAutomaton) algorithm |
default int |
getMinCardForSumDecomposition()
Define the minimum number of cardinality threshold to a sum/scalar constraint to be decomposed in intermediate
sub-sums.
|
default String |
getWelcomeMessage() |
default AbstractStrategy |
makeDefaultSearch(Model model)
Creates a default search strategy for the input model
|
default boolean |
sortPropagatorActivationWRTPriority()
Indicates if propagators can be sorted wrt their priority in
PropagationTrigger when
dealing with propagator activation. |
default boolean |
swapOnPassivate() |
default boolean |
warnUser()
Return true if one wants to be informed of warnings detected during modeling/solving (default value is false)
|
default String getWelcomeMessage()
default boolean checkModel(Solver solver)
return !ESat.FALSE.equals(solver.isSatisfied());
A hard check of the model can be done like this:
return ESat.TRUE.equals(solver.isSatisfied());
solver
- the solverdefault boolean enableViews()
Model
.
Creates new variables with channeling constraints otherwise.default int getMaxDomSizeForEnumerated()
IVariableFactory.intVar(String, int, int)
.default int getMinCardForSumDecomposition()
default boolean enableTableSubstitution()
default int getMaxTupleSizeForSubstitution()
default double getMCRDecimalPrecision()
IIntConstraintFactory.multiCostRegular(IntVar[], IntVar[], ICostAutomaton)
algorithmIIntConstraintFactory.multiCostRegular(IntVar[], IntVar[], ICostAutomaton)
algorithmdefault short[] getFineEventPriority()
default short[] getCoarseEventPriority()
default boolean sortPropagatorActivationWRTPriority()
PropagationTrigger
when
dealing with propagator activation. Set to true to allow sorting static propagators.
false is the default value.default AbstractStrategy makeDefaultSearch(Model model)
model
- a model requiring a default search strategySearch.defaultSearch(Model)
default ICondition getEnvironmentHistorySimulationCondition()
ICondition.FALSE
if no backtrackable object is created during the search.default boolean warnUser()
default boolean debugPropagation()
default boolean enableDecompositionOfBooleanSum()
default boolean enableIncrementalityOnBoolSum(int nbvars)
nbvars
- number of variables in the constraintdefault boolean cloneVariableArrayInPropagator()
default boolean enableACOnTernarySum()
default String defaultPrefix()
IVariableFactory.generateName()
default boolean enableSAT()
ISatFactory
,
false when clauses are managed with CSP constraints only.default boolean swapOnPassivate()
Copyright © 2017. All rights reserved.