java.lang.Object
org.maxicp.cp.modeling.ConcreteCPModel
- All Implemented Interfaces:
ConcreteModel,Model,StateManaged
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionConcreteCPModel(ModelProxy modelProxy, CPSolver solver, SymbolicModel baseNode) -
Method Summary
Modifier and TypeMethodDescriptionvoidadd(Constraint c, boolean enforceFixPoint) createObjective(Objective obj) voidEnforce that v == expr, without using Equal/NotEqual if possible.getConcreteVar(BoolExpression expr) getConcreteVar(IntExpression expr) getConcreteVar(SeqExpression expr) getCPVar(BoolExpression[] v) CPIntVar[]getCPVar(IntExpression[] v) Returns the state manager in charge of the global state of the solver.voidjumpTo(SymbolicModel node, 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.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
-
Field Details
-
solver
-
-
Constructor Details
-
ConcreteCPModel
-
-
Method Details
-
getConcreteVar
- Specified by:
getConcreteVarin interfaceConcreteModel
-
getConcreteVar
- Specified by:
getConcreteVarin interfaceConcreteModel
-
getConcreteVar
- Specified by:
getConcreteVarin interfaceConcreteModel
-
getConcreteVar
- Specified by:
getConcreteVarin interfaceConcreteModel
-
getCPVar
-
getCPVar
-
enforceEqualityIntExpression
Enforce that v == expr, without using Equal/NotEqual if possible. -
asBoolVar
-
minimize
-
getCPVar
-
getCPVar
-
getCPVar
-
getCPVar
-
getCPVar
-
getCumulFunction
-
minimize
-
maximize
-
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:
node- 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-
-
symbolicCopy
- Specified by:
symbolicCopyin interfaceModel
-
getConstraints
- Specified by:
getConstraintsin interfaceModel
-
getModelProxy
- Specified by:
getModelProxyin interfaceModel
-
createObjective
- Specified by:
createObjectivein interfaceConcreteModel
-
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
-