java.lang.Object
org.maxicp.modeling.concrete.ConcreteModelProxy
- All Implemented Interfaces:
ConcreteModel,Model,StateManaged
A base class for some "Layer models" that can locally override some methods
but redirect everything else to a bottom layer.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidadd(Constraint c, boolean enforceFixPoint) createObjective(Objective obj) getConcreteVar(BoolExpression expr) getConcreteVar(IntExpression expr) getConcreteVar(SeqExpression expr) Returns the state manager in charge of the global state of the solver.voidjumpTo(SymbolicModel m, boolean enforceFixPoint) Jump to a specific constraint node.voidjumpToChild(SymbolicModel m, boolean enforceFixPoint) Similar function to jumpTo, but enforces a jump to a child model.static ConcreteModelnoFixPoint(ConcreteModel model) static voidnoFixPoint(ModelProxy modelProxy, Runnable r) static <T> TnoFixPoint(ModelProxy modelProxy, Supplier<T> r) static SymbolicModelsymbolicExecution(ModelProxy modelProxy, Runnable r) Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface org.maxicp.modeling.concrete.ConcreteModel
add, bestFirstSearch, concurrentDFSearch, dfSearch, jumpTo, jumpToChild
-
Constructor Details
-
ConcreteModelProxy
-
-
Method Details
-
getConcreteVar
- Specified by:
getConcreteVarin interfaceConcreteModel
-
getConcreteVar
- Specified by:
getConcreteVarin interfaceConcreteModel
-
getConcreteVar
- Specified by:
getConcreteVarin interfaceConcreteModel
-
getConcreteVar
- Specified by:
getConcreteVarin interfaceConcreteModel
-
add
- Specified by:
addin interfaceConcreteModel
-
jumpTo
Description copied from interface:ConcreteModelJump to a specific constraint node. The new list should have a node in common with current model, and this common node must be either the node at which the model was concretized, or a node created after that.- Specified by:
jumpToin interfaceConcreteModel- Parameters:
m- the model to jump to
-
jumpToChild
Description copied from interface:ConcreteModelSimilar function to jumpTo, but enforces a jump to a child model.- Specified by:
jumpToChildin interfaceConcreteModel- Parameters:
m-enforceFixPoint-
-
createObjective
- Specified by:
createObjectivein interfaceConcreteModel
-
symbolicCopy
- Specified by:
symbolicCopyin interfaceModel
-
getConstraints
- Specified by:
getConstraintsin interfaceModel
-
getModelProxy
- Specified by:
getModelProxyin interfaceModel
-
getStateManager
Description copied from interface:StateManagedReturns the state manager in charge of the global state of the solver.- Specified by:
getStateManagerin interfaceStateManaged- Returns:
- the state manager
-
noFixPoint
-
noFixPoint
-
noFixPoint
-
symbolicExecution
-