Uses of Interface
org.maxicp.modeling.ModelProxy

Packages that use ModelProxy

Package	Description
org.maxicp	Root package of MaxiCP
org.maxicp.cp.engine.core	Solver objects
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API
org.maxicp.modeling	Symbolic Modeling API
org.maxicp.modeling.algebra	Abstract Syntax Tree for modeling expressions
org.maxicp.modeling.algebra.bool	Symbolic modeling over boolean variables
org.maxicp.modeling.algebra.integer	Symbolic modeling over integer variables
org.maxicp.modeling.concrete	Concrete modeling API
org.maxicp.modeling.symbolic	Symbolic modeling of integer variables and objective functions
org.maxicp.search	Search API

Uses of ModelProxy in org.maxicp

Classes in org.maxicp that implement ModelProxy

Modifier and Type	Class	Description
class	ModelDispatcher	A class that allows to create symbolic models

Uses of ModelProxy in org.maxicp.cp.engine.core

Methods in org.maxicp.cp.engine.core that return ModelProxy

Modifier and Type	Method	Description
ModelProxy	CPBoolVarImpl.getModelProxy()
ModelProxy	CPFixedSetVar.getModelProxy()
ModelProxy	CPIntervalVarImpl.getModelProxy()
ModelProxy	CPIntervalVarOffset.getModelProxy()
ModelProxy	CPIntVarConstant.getModelProxy()
ModelProxy	CPIntVarImpl.getModelProxy()
ModelProxy	CPIntVarViewMul.getModelProxy()
ModelProxy	CPIntVarViewOffset.getModelProxy()
ModelProxy	CPIntVarViewOpposite.getModelProxy()
ModelProxy	CPSeqVarImpl.getModelProxy()
ModelProxy	CPSeqVarViewFlip.getModelProxy()
ModelProxy	CPSetVar.getModelProxy()
ModelProxy	CPSetVarImpl.getModelProxy()
ModelProxy	CPSolver.getModelProxy()	Gives the ModelProxy associated with this CPSolver, if any
ModelProxy	MaxiCP.getModelProxy()

Constructors in org.maxicp.cp.engine.core with parameters of type ModelProxy

Modifier	Constructor	Description
	MaxiCP(StateManager sm, ModelProxy modelProxy)

Uses of ModelProxy in org.maxicp.cp.modeling

Subinterfaces of ModelProxy in org.maxicp.cp.modeling

Modifier and Type	Interface	Description
interface	ModelProxyInstantiatorWithCP

Methods in org.maxicp.cp.modeling that return ModelProxy

Modifier and Type	Method	Description
ModelProxy	ConcreteCPModel.getModelProxy()

Constructors in org.maxicp.cp.modeling with parameters of type ModelProxy

Modifier	Constructor	Description
	ConcreteCPModel(ModelProxy modelProxy, CPSolver solver, SymbolicModel baseNode)

Uses of ModelProxy in org.maxicp.modeling

Subinterfaces of ModelProxy in org.maxicp.modeling

Modifier and Type	Interface	Description
interface	ModelProxyInstantiator	Maintains the current model and proxies calls to it.

Methods in org.maxicp.modeling that return ModelProxy

Modifier and Type	Method	Description
ModelProxy	Model.getModelProxy()
ModelProxy	Var.getModelProxy()

Methods in org.maxicp.modeling with parameters of type ModelProxy

Modifier and Type	Method	Description
static IntExpression	Factory.cst(ModelProxy modelProxy, int v)
static Supplier<Runnable[]>	SymbolicBranching.toRunnableBranching(Supplier<SymbolicModel[]> branching, ModelProxy mp)
static Supplier<SymbolicModel[]>	SymbolicBranching.toSymbolicBranching(Supplier<Runnable[]> branching, ModelProxy mp)

Uses of ModelProxy in org.maxicp.modeling.algebra

Methods in org.maxicp.modeling.algebra that return ModelProxy

Modifier and Type	Method	Description
ModelProxy	Expression.getModelProxy()	Returns the ModelDispatcher linked to this Expression
default ModelProxy	NonLeafExpressionNode.getModelProxy()	Returns the ModelDispatcher linked to this Expression

Uses of ModelProxy in org.maxicp.modeling.algebra.bool

Methods in org.maxicp.modeling.algebra.bool that return ModelProxy

Modifier and Type	Method	Description
ModelProxy	EndAfter.getModelProxy()
ModelProxy	EndBeforeStart.getModelProxy()
ModelProxy	Present.getModelProxy()
ModelProxy	StartAfter.getModelProxy()
ModelProxy	StartBefore.getModelProxy()

Uses of ModelProxy in org.maxicp.modeling.algebra.integer

Methods in org.maxicp.modeling.algebra.integer that return ModelProxy

Modifier and Type	Method	Description
ModelProxy	Constant.getModelProxy()
ModelProxy	IntervalEnd.getModelProxy()
ModelProxy	IntervalEndOrValue.getModelProxy()
ModelProxy	IntervalLength.getModelProxy()
ModelProxy	IntervalLengthOrValue.getModelProxy()
ModelProxy	IntervalStart.getModelProxy()
ModelProxy	IntervalStartOrValue.getModelProxy()
ModelProxy	Constant.modelProxy()	Returns the value of the modelProxy record component.

Constructors in org.maxicp.modeling.algebra.integer with parameters of type ModelProxy

Modifier	Constructor	Description
	Constant(ModelProxy modelProxy, int v)	Creates an instance of a Constant record class.

Uses of ModelProxy in org.maxicp.modeling.concrete

Classes in org.maxicp.modeling.concrete that implement ModelProxy

Modifier and Type	Class	Description
class	BasicModelProxy	A very simple ModelProxy which is not thread-safe.

Methods in org.maxicp.modeling.concrete that return ModelProxy

Modifier and Type	Method	Description
ModelProxy	ConcreteModelProxy.getModelProxy()

Methods in org.maxicp.modeling.concrete with parameters of type ModelProxy

Modifier and Type	Method	Description
static void	ConcreteModelProxy.noFixPoint(ModelProxy modelProxy, Runnable r)
static <T> T	ConcreteModelProxy.noFixPoint(ModelProxy modelProxy, Supplier<T> r)
static SymbolicModel	ConcreteModelProxy.symbolicExecution(ModelProxy modelProxy, Runnable r)

Uses of ModelProxy in org.maxicp.modeling.symbolic

Methods in org.maxicp.modeling.symbolic that return ModelProxy

Modifier and Type	Method	Description
ModelProxy	BoolVarImpl.getModelProxy()
ModelProxy	IntervalVarImpl.getModelProxy()
ModelProxy	IntVarRangeImpl.getModelProxy()
ModelProxy	IntVarSetImpl.getModelProxy()
ModelProxy	Maximization.getModelProxy()
ModelProxy	Minimization.getModelProxy()
ModelProxy	Objective.getModelProxy()
ModelProxy	SeqVarImpl.getModelProxy()
ModelProxy	SharedMaximization.getModelProxy()
ModelProxy	SharedMinimization.getModelProxy()
ModelProxy	SymbolicModel.getModelProxy()
ModelProxy	SymbolicModel.modelProxy()	Returns the value of the modelProxy record component.

Methods in org.maxicp.modeling.symbolic with parameters of type ModelProxy

Modifier and Type	Method	Description
static SymbolicModel	SymbolicModel.emptyModel(ModelProxy modelProxy)

Constructors in org.maxicp.modeling.symbolic with parameters of type ModelProxy

Modifier	Constructor	Description
	BoolVarImpl(ModelProxy modelProxy)
	BoolVarImpl(ModelProxy modelProxy, boolean containsFalse, boolean containsTrue)
	IntervalVarImpl(ModelProxy modelProxy, int startMin, int startMax, int endMin, int endMax, int lengthMin, int lengthMax, boolean isPresent)
	IntVarRangeImpl(ModelProxy modelProxy, int min, int max)
	IntVarRangeImpl(ModelProxy modelProxy, String id, int min, int max)
	IntVarSetImpl(ModelProxy modelProxy, String id, Set<Integer> domain)
	IntVarSetImpl(ModelProxy modelProxy, Set<Integer> domain)
	SeqVarImpl(ModelProxy modelProxy, int nNode, int start, int end)
	SymbolicModel(Constraint constraint, SymbolicModel parent, ModelProxy modelProxy)	Creates an instance of a SymbolicModel record class.

Uses of ModelProxy in org.maxicp.search

Constructors in org.maxicp.search with parameters of type ModelProxy

Modifier	Constructor	Description
	BestFirstSearch(ModelProxy modelProxy, Supplier<Runnable[]> branching, Supplier<T> nodeEvaluator)
	ConcurrentDFSearch(ModelProxy mp, Supplier<SymbolicModel[]> branching)
	DFSearch(ModelProxy modelProxy, Supplier<Runnable[]> branching)