public abstract class Settings extends Object implements Serializable
Solver
.
Since java8, acts as default settings.
Created by cprudhom on 25/11/14. Project: choco.
Modifier and Type | Class and Description |
---|---|
static class |
Settings.Idem |
Constructor and Description |
---|
Settings() |
Modifier and Type | Method and Description |
---|---|
boolean |
enableTableSubstitution()
Set to true to replace intension constraints by extension constraints
|
boolean |
enableViews()
Set to 'true' to allow the creation of views in the
VariableFactory . |
short[] |
getCoarseEventPriority()
Defines, for coarse events, for each priority, the queue in which a propagator of such a priority should be scheduled in
/!
|
ICondition |
getEnvironmentHistorySimulationCondition()
Return the condition to satisfy when rebuilding history of backtrackable objects is needed.
|
short[] |
getFineEventPriority()
Defines, for fine events, for each priority, the queue in which a propagator of such a priority should be scheduled in
/!
|
Settings.Idem |
getIdempotencyStrategy()
Define how to react when a propagator is not ensured to be idempotent (
Settings.Idem ). |
int |
getMaxDomSizeForEnumerated()
Define the maximum domain size threshold to force integer variable to be enumerated
instead of bounded while calling
VariableFactory.integer(String, int, int, Solver) . |
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
|
double |
getMCRDecimalPrecision()
|
double |
getMCRPrecision()
Define the rounding precision for
IntConstraintFactory.multicost_regular(org.chocosolver.solver.variables.IntVar[], org.chocosolver.solver.variables.IntVar[], org.chocosolver.solver.constraints.nary.automata.FA.ICostAutomaton) algorithm
MUST BE < 13 as java messes up the precisions starting from 10E-12 (34.0*0.05 == 1.70000000000005) |
ISearchBinder |
getSearchBinder()
Return the search binder
|
String |
getWelcomeMessage()
Return the welcome message
|
boolean |
plugExplanationIn()
Set to true to plug explanation engine in.
|
public String getWelcomeMessage()
public Settings.Idem getIdempotencyStrategy()
Settings.Idem
).
public boolean enableViews()
VariableFactory
.
Creates new variables with channeling constraints otherwise.public int getMaxDomSizeForEnumerated()
VariableFactory.integer(String, int, int, Solver)
.public boolean enableTableSubstitution()
public int getMaxTupleSizeForSubstitution()
public boolean plugExplanationIn()
public double getMCRPrecision()
IntConstraintFactory.multicost_regular(org.chocosolver.solver.variables.IntVar[], org.chocosolver.solver.variables.IntVar[], org.chocosolver.solver.constraints.nary.automata.FA.ICostAutomaton)
algorithm
MUST BE < 13 as java messes up the precisions starting from 10E-12 (34.0*0.05 == 1.70000000000005)public double getMCRDecimalPrecision()
public short[] getFineEventPriority()
public short[] getCoarseEventPriority()
public ISearchBinder getSearchBinder()
public ICondition getEnvironmentHistorySimulationCondition()
ICondition.FALSE
if no backtrackable object is created during the search.Copyright © 2015. All rights reserved.