Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultSettings
A concrete implementation of Settings that enables to modify settings programmatically.
|
Modifier and Type | Method and Description |
---|---|
Settings |
Model.getSettings()
Return the current settings for the solver
|
Settings |
Settings.setCheckDeclaredConstraints(boolean checkDeclaredConstraints)
Indicate if the declared constraints are either posted or reified.
|
Settings |
Settings.setCloneVariableArrayInPropagator(boolean cloneVariableArrayInPropagator)
If this setting is set to true (default value), a clone of the input variable array is made in any propagator constructors.
|
Settings |
Settings.setDebugPropagation(boolean debugPropagation)
When this setting returns
true , a complete trace of the events is output. |
Settings |
Settings.setDefaultPrefix(String defaultPrefix)
Define prefix of internally created variables
|
Settings |
Settings.setDefaultSearch(Function<Model,AbstractStrategy> defaultSearch)
Define a default search strategy for the input model
|
Settings |
Settings.setEnableACOnTernarySum(boolean enable)
If this is set to true then AC algorithm is used to filter ternary sum by default,
otherwise, BC is used.
|
Settings |
DefaultSettings.setEnableACOnTernarySum(boolean enable) |
Settings |
Settings.setEnableDecompositionOfBooleanSum(boolean enableDecompositionOfBooleanSum)
Define if boolean sums should be decomposed into an equality constraint + arithmetic constraint
|
Settings |
Settings.setEnableIncrementalityOnBoolSum(IntPredicate enableIncrementalityOnBoolSum)
Define the predicate to choose incremental sum, based on number variables declared
|
Settings |
Settings.setEnableSAT(boolean enableSAT)
Indicate if clauses are managed by a unique SAT solver.
|
Settings |
Settings.setEnableTableSubstitution(boolean enableTableSubstitution)
Define whether some intension constraints are replaced by extension constraints
|
Settings |
Settings.setEnableViews(boolean enableViews)
Set to 'true' to allow the creation of views in the
Model . |
Settings |
Settings.setEnvironmentHistorySimulationCondition(ICondition environmentHistorySimulationCondition)
Set the condition to satisfy when rebuilding history of backtrackable objects is needed.
|
Settings |
Settings.setHybridizationOfPropagationEngine(byte hybrid)
Define behavior of the propagation engine.
|
Settings |
DefaultSettings.setHybridizationOfPropagationEngine(byte hybrid) |
Settings |
Settings.setInitSolver(Function<Model,Solver> initSolver)
Define the solver initialization
|
Settings |
Settings.setMaxDomSizeForEnumerated(int maxDomSizeForEnumerated)
Define the minimum number of cardinality threshold to a sum/scalar constraint to be decomposed in intermediate
sub-sums.
|
Settings |
Settings.setMaxTupleSizeForSubstitution(int maxTupleSizeForSubstitution)
Define the maximum domain size threshold to replace intension constraints by extension constraints
Only checked when
enableTableSubstitution() returns true |
Settings |
Settings.setMCRDecimalPrecision(double precision)
Defines the default smallest used double for
IIntConstraintFactory.multiCostRegular(IntVar[], IntVar[], ICostAutomaton) algorithm |
Settings |
DefaultSettings.setMCRDecimalPrecision(double precision) |
Settings |
Settings.setMinCardinalityForSumDecomposition(int defaultMinCardinalityForSumDecomposition)
Define the default minimum number of cardinality threshold to a sum/scalar constraint to be
decomposed into intermediate sub-sums.
|
Settings |
DefaultSettings.setMinCardinalityForSumDecomposition(int defaultMinCardinalityForSumDecomposition) |
Settings |
Settings.setModelChecker(Predicate<Solver> modelChecker)
Define what to do when a solution is found.
|
Settings |
Settings.setSortPropagatorActivationWRTPriority(boolean sortPropagatorActivationWRTPriority)
Set whether propagators are sorted wrt their priority in
org.chocosolver.solver.propagation.PropagationTrigger when
dealing with propagator activation. |
Settings |
Settings.setSwapOnPassivate(boolean swapOnPassivate)
Define if passivation of propagator swap it in variables' list
|
Settings |
Settings.setWarnUser(boolean warnUser)
To be informed of warnings detected during modeling/solving
|
Settings |
Settings.setWelcomeMessage(String welcomeMessage)
Define the welcome message, printed in the console
|
Modifier and Type | Method and Description |
---|---|
void |
Model.set(Settings defaults)
Deprecated.
will be removed in version > 4.0.7
|
Constructor and Description |
---|
Model(IEnvironment environment,
String name,
Settings settings)
Creates a Model object to formulate a decision problem by declaring variables and posting constraints.
|
Model(Settings settings)
Creates a Model object to formulate a decision problem by declaring variables and posting constraints.
|
Model(String name,
Settings settings)
Creates a Model object to formulate a decision problem by declaring variables and posting constraints.
|
Copyright © 2018. All rights reserved.