Module org.maxicp

Package org.maxicp.modeling.concrete

Interface ConcreteModel

All Superinterfaces:

Model, StateManaged

All Known Implementing Classes:

ConcreteCPModel, ConcreteModelProxy

public interface ConcreteModel
extends Model, StateManaged

Method Summary

Modifier and Type	Method	Description
default void	add(Constraint c)
void	add(Constraint c, boolean enforceFixPoint)
default <U extends Comparable<U>> BestFirstSearch<U>	bestFirstSearch(Supplier<Runnable[]> branching, Supplier<U> nodeEvaluator)
default ConcurrentDFSearch	concurrentDFSearch(Supplier<SymbolicModel[]> symbolicBranching)
Objective	createObjective(Objective obj)
default DFSearch	dfSearch(Supplier<Runnable[]> branching)
ConcreteBoolVar	getConcreteVar(BoolExpression expr)
ConcreteIntVar	getConcreteVar(IntExpression expr)
ConcreteIntervalVar	getConcreteVar(IntervalExpression expr)
ConcreteSeqVar	getConcreteVar(SeqExpression expr)
default void	jumpTo(SymbolicModel m)
void	jumpTo(SymbolicModel m, boolean enforceFixPoint)	Jump to a specific constraint node.
default void	jumpToChild(SymbolicModel m)
void	jumpToChild(SymbolicModel m, boolean enforceFixPoint)	Similar function to jumpTo, but enforces a jump to a child model.

Methods inherited from interface org.maxicp.modeling.Model

getConstraints, getModelProxy, symbolicCopy

Methods inherited from interface org.maxicp.state.StateManaged

getStateManager

Method Details

getConcreteVar

ConcreteIntVar getConcreteVar(IntExpression expr)

getConcreteVar

ConcreteBoolVar getConcreteVar(BoolExpression expr)

getConcreteVar

ConcreteSeqVar getConcreteVar(SeqExpression expr)

getConcreteVar

ConcreteIntervalVar getConcreteVar(IntervalExpression expr)

add

default void add(Constraint c)

add

void add(Constraint c,
 boolean enforceFixPoint)

jumpTo

void jumpTo(SymbolicModel m,
 boolean enforceFixPoint)

Jump 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.

Parameters:

m - the model to jump to

jumpTo

default void jumpTo(SymbolicModel m)

jumpToChild

void jumpToChild(SymbolicModel m,
 boolean enforceFixPoint)

Similar function to jumpTo, but enforces a jump to a child model.

Parameters:

m -

enforceFixPoint -

jumpToChild

default void jumpToChild(SymbolicModel m)

createObjective

Objective createObjective(Objective obj)

concurrentDFSearch

default ConcurrentDFSearch concurrentDFSearch(Supplier<SymbolicModel[]> symbolicBranching)

dfSearch

default DFSearch dfSearch(Supplier<Runnable[]> branching)

bestFirstSearch

default <U extends Comparable<U>>
BestFirstSearch<U> bestFirstSearch(Supplier<Runnable[]> branching,
 Supplier<U> nodeEvaluator)