Uses of Record Class
org.maxicp.modeling.symbolic.SymbolicModel

Packages that use SymbolicModel

Package	Description
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API
org.maxicp.modeling	Symbolic Modeling API
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 SymbolicModel in org.maxicp.cp.modeling

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

Modifier and Type	Method	Description
SymbolicModel	ConcreteCPModel.symbolicCopy()

Methods in org.maxicp.cp.modeling with parameters of type SymbolicModel

Modifier and Type	Method	Description
void	ConcreteCPModel.jumpTo(SymbolicModel node, boolean enforceFixPoint)
void	ConcreteCPModel.jumpToChild(SymbolicModel m, boolean enforceFixPoint)

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

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

Uses of SymbolicModel in org.maxicp.modeling

Methods in org.maxicp.modeling that return SymbolicModel

Modifier and Type	Method	Description
default SymbolicModel	ModelProxy.getSymbolicModel()	Returns the current symbolic model (if isConcrete() is true, it returns a symbolic copy of the current Concrete model)
SymbolicModel	Model.symbolicCopy()

Uses of SymbolicModel in org.maxicp.modeling.concrete

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

Modifier and Type	Method	Description
SymbolicModel	ConcreteModelProxy.symbolicCopy()
static SymbolicModel	ConcreteModelProxy.symbolicExecution(ModelProxy modelProxy, Runnable r)

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

Modifier and Type	Method	Description
default void	ConcreteModel.jumpTo(SymbolicModel m)
void	ConcreteModel.jumpTo(SymbolicModel m, boolean enforceFixPoint)	Jump to a specific constraint node.
void	ConcreteModelProxy.jumpTo(SymbolicModel m, boolean enforceFixPoint)
default void	ConcreteModel.jumpToChild(SymbolicModel m)
void	ConcreteModel.jumpToChild(SymbolicModel m, boolean enforceFixPoint)	Similar function to jumpTo, but enforces a jump to a child model.
void	ConcreteModelProxy.jumpToChild(SymbolicModel m, boolean enforceFixPoint)

Uses of SymbolicModel in org.maxicp.modeling.symbolic

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

Modifier and Type	Method	Description
SymbolicModel	SymbolicModel.add(Constraint c)
SymbolicModel[]	SymbolicModel.branch(Constraint... constraints)	Returns the SymbolicModels that would be created by branching on the constraints given in parameters
static SymbolicModel	SymbolicModel.emptyModel(ModelProxy modelProxy)
SymbolicModel	SymbolicModel.parent()	Returns the value of the parent record component.
SymbolicModel	SymbolicModel.symbolicCopy()

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

Modifier	Constructor	Description
	SymbolicModel(Constraint constraint, SymbolicModel parent, ModelProxy modelProxy)	Creates an instance of a SymbolicModel record class.

Uses of SymbolicModel in org.maxicp.search

Methods in org.maxicp.search that return SymbolicModel

Modifier and Type	Method	Description
static SymbolicModel[]	Searches.branch(SymbolicModel... branches)
protected abstract SymbolicModel	AbstractConcurrentSearchMethod.extractModel()	Remove a model from the "list of open models" and returns it.
protected SymbolicModel	ConcurrentDFSearch.extractModel()
SymbolicModel[]	BestFirstSearch.getUnexploredModels()

Methods in org.maxicp.search that return types with arguments of type SymbolicModel

Modifier and Type	Method	Description
Future<SymbolicModel>	AbstractConcurrentSearchMethod.steal()	Steal a (yet non-visited) model from this search method.

Methods in org.maxicp.search with parameters of type SymbolicModel

Modifier and Type	Method	Description
static SymbolicModel[]	Searches.branch(SymbolicModel... branches)