Settings |
DefaultSettings.explainGlobalFailureInSum(boolean b) |
|
Settings |
Settings.explainGlobalFailureInSum(boolean b) |
Set to true to allow additional clauses to be learned from sum's global failure
|
Settings |
Model.getSettings() |
Return the current settings for the solver
|
default Settings |
Settings.load(InputStream inStream) |
Load some settings from a property file.
|
default Settings |
Settings.load(Properties properties) |
Load some settings from a property file.
|
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.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 |
DefaultSettings.setEnableACOnTernarySum(boolean enable) |
|
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 |
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 |
DefaultSettings.setHybridizationOfPropagationEngine(byte hybrid) |
|
Settings |
Settings.setHybridizationOfPropagationEngine(byte hybrid) |
Define behavior of the propagation engine.
|
Settings |
Settings.setInitSolver(Function<Model,Solver> initSolver) |
Define the solver initialization
|
Settings |
DefaultSettings.setLearntClausesDominancePerimeter(int n) |
|
Settings |
Settings.setLearntClausesDominancePerimeter(int n) |
When a clause is learnt from a conflict, it may happen that it dominates previously learnt ones.
|
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 |
DefaultSettings.setMaxLearntClauseCardinality(int n) |
|
Settings |
Settings.setMaxLearntClauseCardinality(int n) |
Set the maximum learnt clause cardinality, clauses beyond this value are ignored.
|
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 |
DefaultSettings.setMCRDecimalPrecision(double precision) |
|
Settings |
Settings.setMCRDecimalPrecision(double precision) |
|
Settings |
DefaultSettings.setMinCardinalityForSumDecomposition(int defaultMinCardinalityForSumDecomposition) |
|
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 |
Settings.setModelChecker(Predicate<Solver> modelChecker) |
Define what to do when a solution is found.
|
Settings |
DefaultSettings.setNbMaxLearntClauses(int n) |
|
Settings |
Settings.setNbMaxLearntClauses(int n) |
Set the maximum of number of learnt clauses to store before running a reduction of the store.
|
Settings |
DefaultSettings.setPrintAllUndeclaredConstraints(boolean printAllUndeclaredConstraints) |
|
Settings |
Settings.setPrintAllUndeclaredConstraints(boolean printAllUndeclaredConstraints) |
|
Settings |
DefaultSettings.setRatioForClauseStoreReduction(float f) |
|
Settings |
Settings.setRatioForClauseStoreReduction(float f) |
when clauses store need to be reduced, 'ratio' of them are kept (between 0.1 and .99).
|
Settings |
Settings.setSortPropagatorActivationWRTPriority(boolean sortPropagatorActivationWRTPriority) |
Set whether propagators are sorted wrt their priority in PropagationEngine 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
|