Uses of Class
org.chocosolver.solver.Model

Packages that use Model

Package	Description
org.chocosolver.sat
org.chocosolver.solver	A package devoted to Model and resolution tools.
org.chocosolver.solver.constraints
org.chocosolver.solver.constraints.nary.clauses
org.chocosolver.solver.constraints.nary.cnf
org.chocosolver.solver.constraints.nary.globalcardinality
org.chocosolver.solver.constraints.nary.nogood
org.chocosolver.solver.constraints.nary.nvalue.amnv.graph
org.chocosolver.solver.constraints.nary.nvalue.amnv.rules
org.chocosolver.solver.expression.continuous.arithmetic
org.chocosolver.solver.expression.discrete.arithmetic
org.chocosolver.solver.expression.discrete.logical
org.chocosolver.solver.expression.discrete.relational
org.chocosolver.solver.learn
org.chocosolver.solver.propagation
org.chocosolver.solver.search.limits
org.chocosolver.solver.search.loop
org.chocosolver.solver.search.loop.lns.neighbors
org.chocosolver.solver.search.loop.monitors
org.chocosolver.solver.search.loop.move
org.chocosolver.solver.search.strategy
org.chocosolver.solver.search.strategy.decision
org.chocosolver.solver.search.strategy.selectors.variables
org.chocosolver.solver.search.strategy.strategy
org.chocosolver.solver.trace
org.chocosolver.solver.variables
org.chocosolver.solver.variables.impl
org.chocosolver.util.objects.graphs
org.chocosolver.util.objects.setDataStructures
org.chocosolver.util.tools

Uses of Model in org.chocosolver.sat

Constructors in org.chocosolver.sat with parameters of type Model

Constructor	Description
PropNogoods(Model model)	Create a (unique) propagator for no-goods recording and propagation.
PropSat(Model model)	Create a (unique) propagator for clauses recording and propagation.

Uses of Model in org.chocosolver.solver

Fields in org.chocosolver.solver declared as Model

Modifier and Type	Field	Description
protected Model	Solver.mModel	The declaring model

Methods in org.chocosolver.solver that return Model

Modifier and Type	Method	Description
Model	ParallelPortfolio.getBestModel()	Returns the first model from the list which, either : finds a solution when dealing with a satisfaction problem, or finds (and possibly proves) the best solution when dealing with an optimization problem.
Model	Solver.getModel()
Model	Model.ref()

Methods in org.chocosolver.solver that return types with arguments of type Model

Modifier and Type	Method	Description
List<Model>	ParallelPortfolio.getModels()

Methods in org.chocosolver.solver with parameters of type Model

Modifier and Type	Method	Description
void	ParallelPortfolio.addModel(Model model)	Adds a model to the list of models to run in parallel.
Solver	DefaultSettings.initSolver(Model model)
Solver	Settings.initSolver(Model model)	This method is called in Model(IEnvironment, String, Settings) to create the solver to associate with a model.
AbstractStrategy	DefaultSettings.makeDefaultSearch(Model model)
AbstractStrategy	Settings.makeDefaultSearch(Model model)	Creates a default search strategy for the input model

Method parameters in org.chocosolver.solver with type arguments of type Model

Modifier and Type	Method	Description
DefaultSettings	DefaultSettings.setDefaultSearch(Function<Model,AbstractStrategy> defaultSearch)
Settings	Settings.setDefaultSearch(Function<Model,AbstractStrategy> defaultSearch)	Define a default search strategy for the input model
DefaultSettings	DefaultSettings.setInitSolver(Function<Model,Solver> initSolver)
Settings	Settings.setInitSolver(Function<Model,Solver> initSolver)	Define the solver initialization

Constructors in org.chocosolver.solver with parameters of type Model

Constructor	Description
Solution(Model model, Variable... varsToStore)	Create an empty solution object able to store the value of each variable in varsToStore when calling record() Stores all variables by default, when varsToStore is empty
Solver(Model aModel)	Create a resolver based for the model aModel.

Uses of Model in org.chocosolver.solver.constraints

Fields in org.chocosolver.solver.constraints declared as Model

Modifier and Type	Field	Description
protected Model	Propagator.model	Reference to the model declaring this propagator.

Methods in org.chocosolver.solver.constraints that return Model

Modifier and Type	Method	Description
Model	Propagator.getModel()

Uses of Model in org.chocosolver.solver.constraints.nary.clauses

Methods in org.chocosolver.solver.constraints.nary.clauses with parameters of type Model

Modifier and Type	Method	Description
void	ClauseBuilder.buildNogood(Model model)	Build the nogood in memory and post it to model

Constructors in org.chocosolver.solver.constraints.nary.clauses with parameters of type Model

Constructor	Description
ClauseBuilder(Model mModel)	Nogood builder, to ease declaration of nogoods
ClauseConstraint(Model model)

Uses of Model in org.chocosolver.solver.constraints.nary.cnf

Methods in org.chocosolver.solver.constraints.nary.cnf with parameters of type Model

Modifier and Type	Method	Description
static ILogical	LogicTreeToolBox.simplify(ILogical t, Model model)	Detects tautologies and contradictions from t
static ILogical	LogicTreeToolBox.simplifySingleton(ILogical l, Model model)	Remove tautologies from l
static ILogical	LogicTreeToolBox.toCNF(LogOp logOp, Model model)	Warning: if there is a bug, please check the CNF build is like: - lit OR lit ...

Constructors in org.chocosolver.solver.constraints.nary.cnf with parameters of type Model

Constructor	Description
SatConstraint(Model model)

Uses of Model in org.chocosolver.solver.constraints.nary.globalcardinality

Methods in org.chocosolver.solver.constraints.nary.globalcardinality with parameters of type Model

Modifier and Type	Method	Description
static Constraint	GlobalCardinality.reformulate(IntVar[] vars, IntVar[] card, Model model)

Uses of Model in org.chocosolver.solver.constraints.nary.nogood

Constructors in org.chocosolver.solver.constraints.nary.nogood with parameters of type Model

Constructor	Description
NogoodConstraint(Model model)

Uses of Model in org.chocosolver.solver.constraints.nary.nvalue.amnv.graph

Constructors in org.chocosolver.solver.constraints.nary.nvalue.amnv.graph with parameters of type Model

Constructor	Description
G(Model model, int nbNodes)	Creates a backtrackable undirected graph of nbNodes nodes

Uses of Model in org.chocosolver.solver.constraints.nary.nvalue.amnv.rules

Constructors in org.chocosolver.solver.constraints.nary.nvalue.amnv.rules with parameters of type Model

Constructor	Description
R3(int nbDecVars, Model model)

Uses of Model in org.chocosolver.solver.expression.continuous.arithmetic

Methods in org.chocosolver.solver.expression.continuous.arithmetic that return Model

Modifier and Type	Method	Description
Model	BiCArExpression.getModel()
Model	CArExpression.getModel()	Return the associated model
Model	UnCArExpression.getModel()

Uses of Model in org.chocosolver.solver.expression.discrete.arithmetic

Methods in org.chocosolver.solver.expression.discrete.arithmetic that return Model

Modifier and Type	Method	Description
Model	ArExpression.getModel()	Return the associated model
Model	BiArExpression.getModel()
Model	IfArExpression.getModel()
Model	NaArExpression.getModel()
Model	UnArExpression.getModel()

Uses of Model in org.chocosolver.solver.expression.discrete.logical

Fields in org.chocosolver.solver.expression.discrete.logical declared as Model

Modifier and Type	Field	Description
protected Model	LoExpression.model	The model in which the expression is declared

Methods in org.chocosolver.solver.expression.discrete.logical that return Model

Modifier and Type	Method	Description
Model	BiLoExpression.getModel()
abstract Model	LoExpression.getModel()	Return the associated model
Model	NaLoExpression.getModel()
Model	UnLoExpression.getModel()

Constructors in org.chocosolver.solver.expression.discrete.logical with parameters of type Model

Constructor	Description
LoExpression(Model model, LoExpression.Operator op)

Uses of Model in org.chocosolver.solver.expression.discrete.relational

Methods in org.chocosolver.solver.expression.discrete.relational that return Model

Modifier and Type	Method	Description
Model	BiReExpression.getModel()
Model	NaReExpression.getModel()
Model	ReExpression.getModel()	Return the associated model

Uses of Model in org.chocosolver.solver.learn

Methods in org.chocosolver.solver.learn with parameters of type Model

Modifier and Type	Method	Description
void	ExplanationForSignedClause.extractConstraint(Model mModel, ClauseStore ngstore)
abstract void	IExplanation.extractConstraint(Model mModel, ClauseStore ngstore)	Extract and post the nogood related to this explanation
abstract void	Implications.init(Model model)	Initialize this class
void	LazyImplications.init(Model model)

Uses of Model in org.chocosolver.solver.propagation

Constructors in org.chocosolver.solver.propagation with parameters of type Model

Constructor	Description
PropagationEngine(Model model)	A seven-queue propagation engine.

Uses of Model in org.chocosolver.solver.search.limits

Constructors in org.chocosolver.solver.search.limits with parameters of type Model

Constructor	Description
BacktrackCounter(Model model, long backtracklimit)
FailCounter(Model model, long faillimit)
NodeCounter(Model model, long nodelimit)
SolutionCounter(Model model, long solutionlimit)
TimeCounter(Model model, long timeLimitInNano)

Uses of Model in org.chocosolver.solver.search.loop

Methods in org.chocosolver.solver.search.loop with parameters of type Model

Modifier and Type	Method	Description
static String	Reporting.fullReport(Model model)
static String	Reporting.onDecisions(Model model)
static String	Reporting.onUninstiatedVariables(Model model)
static String	Reporting.onUnsatisfiedConstraints(Model model)

Uses of Model in org.chocosolver.solver.search.loop.lns.neighbors

Fields in org.chocosolver.solver.search.loop.lns.neighbors declared as Model

Modifier and Type	Field	Description
protected Model	PropagationGuidedNeighborhood.mModel	Reference to the model

Uses of Model in org.chocosolver.solver.search.loop.monitors

Constructors in org.chocosolver.solver.search.loop.monitors with parameters of type Model

Constructor	Description
NogoodFromRestarts(Model model)	A constraint for the specific Nogood store designed to store ONLY positive decisions.

Uses of Model in org.chocosolver.solver.search.loop.move

Constructors in org.chocosolver.solver.search.loop.move with parameters of type Model

Constructor	Description
MoveBinaryHBFS(Model model, AbstractStrategy strategy, double a, double b, long N)	Create a move dedicated to run an Hybrid Best-First Search[1] (HBFS) with binary decisions.
MoveSeq(Model model, Move... moves)	Create a move which sequentially apply a move.

Uses of Model in org.chocosolver.solver.search.strategy

Methods in org.chocosolver.solver.search.strategy with parameters of type Model

Modifier and Type	Method	Description
static AbstractStrategy	Search.defaultSearch(Model model)	Creates a default search strategy for the given model.
static AbstractStrategy	Search.ibexSolving(Model model)	Create a strategy which lets Ibex terminates the solving process for the CSP, once all integer variables have been instantiated.

Uses of Model in org.chocosolver.solver.search.strategy.decision

Constructors in org.chocosolver.solver.search.strategy.decision with parameters of type Model

Constructor	Description
IbexDecision(Model model)	Create an decision based on an RealVar

Uses of Model in org.chocosolver.solver.search.strategy.selectors.variables

Constructors in org.chocosolver.solver.search.strategy.selectors.variables with parameters of type Model

Constructor	Description
ActivityBased(Model model, IntVar[] vars, double g, double d, int a, int samplingIterationForced, long seed)
AntiFirstFail(Model model)	First fail variable selector.
FirstFail(Model model)	First fail variable selector.
InputOrder(Model model)	Input order variable selector.

Uses of Model in org.chocosolver.solver.search.strategy.strategy

Fields in org.chocosolver.solver.search.strategy.strategy declared as Model

Modifier and Type	Field	Description
protected Model	ConflictOrderingSearch.model	The target solver
protected Model	LastConflict.model	The target solver

Constructors in org.chocosolver.solver.search.strategy.strategy with parameters of type Model

Constructor	Description
ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy)	Creates a conflict-ordering search
LastConflict(Model model, AbstractStrategy<V> mainStrategy, int k)	Creates a last conflict heuristic

Uses of Model in org.chocosolver.solver.trace

Methods in org.chocosolver.solver.trace with parameters of type Model

Modifier and Type	Method	Description
static void	GephiNetwork.write(String gexfFile, Model model)

Uses of Model in org.chocosolver.solver.variables

Methods in org.chocosolver.solver.variables that return Model

Modifier and Type	Method	Description
Model	Variable.getModel()	Return the associated model

Uses of Model in org.chocosolver.solver.variables.impl

Fields in org.chocosolver.solver.variables.impl declared as Model

Modifier and Type	Field	Description
protected Model	AbstractVariable.model	Reference to the model containing this variable (unique).

Methods in org.chocosolver.solver.variables.impl that return Model

Modifier and Type	Method	Description
Model	AbstractVariable.getModel()

Constructors in org.chocosolver.solver.variables.impl with parameters of type Model

Constructor	Description
AbstractVariable(String name, Model model)	Create the shared data of any type of variable.
BitsetArrayIntVarImpl(String name, int[] sortedValues, Model model)	Creates an IntVar based on an array of non-consecutive but ordered values.
BitsetIntVarImpl(String name, int[] sortedValues, Model model)	Create an enumerated IntVar based on a bitset
BitsetIntVarImpl(String name, int min, int max, Model model)	Create an enumerated IntVar based on a bitset
BoolVarImpl(String name, Model model)	Create a BoolVar {0,1} or {true, false}
FixedBoolVarImpl(String name, int constant, Model model)
FixedIntVarImpl(String name, int constante, Model model)	Creates a variable whom domain is natively reduced to the singleton {constante}.
FixedRealVarImpl(String name, double value, Model model)	Create the shared data of any type of variable.
IntervalIntVarImpl(String name, int min, int max, Model model)	Create a bounded domain IntVar : [min,max]
RealVarImpl(String name, double lb, double ub, double precision, Model model)
SetVarImpl(String name, int[] value, Model model)	Creates a fixed Set variable, equal to value
SetVarImpl(String name, int[] ker, SetType kerType, int[] env, SetType envType, Model model)	Creates a Set variable
SetVarImpl(String name, ISet value, Model model)	Creates a fixed Set variable, equal to value Beware : Use this constructor with caution (domain is directly accessible) value should be created properly and should not be modified afterward
SetVarImpl(String name, ISet lb, ISet ub, Model model)	Creates a set variable, of domain [lb, ub] Beware : Use this constructor with caution (domain is directly accessible) lb and ub should be created properly (e.g. lb subset of ub) and should not be modified externally Both lb and ub should be backtrackable sets (stored sets): use SetFactory.makeStoredSet to build them

Uses of Model in org.chocosolver.util.objects.graphs

Constructors in org.chocosolver.util.objects.graphs with parameters of type Model

Constructor	Description
DirectedGraph(Model model, int n, SetType type, boolean allNodes)	Creates an empty backtrable graph of n nodes Allocates memory for n nodes (but they should then be added explicitly, unless allNodes is true).
UndirectedGraph(Model model, int n, SetType type, boolean allNodes)	Creates an empty backtrable undirected graph.

Uses of Model in org.chocosolver.util.objects.setDataStructures

Methods in org.chocosolver.util.objects.setDataStructures with parameters of type Model

Modifier and Type	Method	Description
static ISet	SetFactory.makeStoredSet(SetType type, int offSet, Model model)	Creates a stored set of integers greater or equal than offSet Such a set is restored after a backtrack

Constructors in org.chocosolver.util.objects.setDataStructures with parameters of type Model

Constructor	Description
StdSet(Model model, ISet set)

Uses of Model in org.chocosolver.util.tools

Methods in org.chocosolver.util.tools with parameters of type Model

Modifier and Type	Method	Description
static IntVar[]	VariableUtils.toIntVar(Model model, int... values)	Transform an array of int to an array of fixed IntVar