Module org.maxicp

Package org.maxicp.modeling.concrete

Class ConcreteModelProxy

java.lang.Object

org.maxicp.modeling.concrete.ConcreteModelProxy

All Implemented Interfaces:

ConcreteModel, Model, StateManaged

public class ConcreteModelProxy
extends Object
implements ConcreteModel

A base class for some "Layer models" that can locally override some methods but redirect everything else to a bottom layer.

Constructor Summary

Constructors

Constructor	Description
ConcreteModelProxy(ConcreteModel model)

Method Summary

Modifier and Type	Method	Description
void	add(Constraint c, boolean enforceFixPoint)
Objective	createObjective(Objective obj)
ConcreteBoolVar	getConcreteVar(BoolExpression expr)
ConcreteIntVar	getConcreteVar(IntExpression expr)
ConcreteIntervalVar	getConcreteVar(IntervalExpression expr)
ConcreteSeqVar	getConcreteVar(SeqExpression expr)
Iterable<Constraint>	getConstraints()
ModelProxy	getModelProxy()
StateManager	getStateManager()	Returns the state manager in charge of the global state of the solver.
void	jumpTo(SymbolicModel m, boolean enforceFixPoint)	Jump to a specific constraint node.
void	jumpToChild(SymbolicModel m, boolean enforceFixPoint)	Similar function to jumpTo, but enforces a jump to a child model.
static ConcreteModel	noFixPoint(ConcreteModel model)
static void	noFixPoint(ModelProxy modelProxy, Runnable r)
static <T> T	noFixPoint(ModelProxy modelProxy, Supplier<T> r)
SymbolicModel	symbolicCopy()
static SymbolicModel	symbolicExecution(ModelProxy modelProxy, Runnable r)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.maxicp.modeling.concrete.ConcreteModel

add, bestFirstSearch, concurrentDFSearch, dfSearch, jumpTo, jumpToChild

Constructor Details

ConcreteModelProxy

public ConcreteModelProxy(ConcreteModel model)

Method Details

getConcreteVar

public ConcreteIntVar getConcreteVar(IntExpression expr)

Specified by:

getConcreteVar in interface ConcreteModel

getConcreteVar

public ConcreteBoolVar getConcreteVar(BoolExpression expr)

Specified by:

getConcreteVar in interface ConcreteModel

getConcreteVar

public ConcreteSeqVar getConcreteVar(SeqExpression expr)

Specified by:

getConcreteVar in interface ConcreteModel

getConcreteVar

public ConcreteIntervalVar getConcreteVar(IntervalExpression expr)

Specified by:

getConcreteVar in interface ConcreteModel

add

public void add(Constraint c,
 boolean enforceFixPoint)

Specified by:

add in interface ConcreteModel

jumpTo

public void jumpTo(SymbolicModel m,
 boolean enforceFixPoint)

Description copied from interface: ConcreteModel

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.

Specified by:

jumpTo in interface ConcreteModel

Parameters:

m - the model to jump to

jumpToChild

public void jumpToChild(SymbolicModel m,
 boolean enforceFixPoint)

Description copied from interface: ConcreteModel

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

Specified by:

jumpToChild in interface ConcreteModel

Parameters:

m -

enforceFixPoint -

createObjective

public Objective createObjective(Objective obj)

Specified by:

createObjective in interface ConcreteModel

symbolicCopy

public SymbolicModel symbolicCopy()

Specified by:

symbolicCopy in interface Model

getConstraints

public Iterable<Constraint> getConstraints()

Specified by:

getConstraints in interface Model

getModelProxy

public ModelProxy getModelProxy()

Specified by:

getModelProxy in interface Model

getStateManager

public StateManager getStateManager()

Description copied from interface: StateManaged

Returns the state manager in charge of the global state of the solver.

Specified by:

getStateManager in interface StateManaged

Returns:

the state manager

noFixPoint

public static ConcreteModel noFixPoint(ConcreteModel model)

noFixPoint

public static void noFixPoint(ModelProxy modelProxy,
 Runnable r)

noFixPoint

public static <T> T noFixPoint(ModelProxy modelProxy,
 Supplier<T> r)

symbolicExecution

public static SymbolicModel symbolicExecution(ModelProxy modelProxy,
 Runnable r)