Module org.maxicp

Package org.maxicp.cp.modeling

Class ConcreteCPModel

java.lang.Object

org.maxicp.cp.modeling.ConcreteCPModel

All Implemented Interfaces:

ConcreteModel, Model, StateManaged

public class ConcreteCPModel
extends Object
implements ConcreteModel

Field Summary

Fields

Modifier and Type	Field	Description
final CPSolver	solver

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	add(Constraint c, boolean enforceFixPoint)
CPBoolVar	asBoolVar(CPIntVar v)
Objective	createObjective(Objective obj)
void	enforceEqualityIntExpression(IntExpression expr, CPIntVar v)	Enforce that v == expr, without using Equal/NotEqual if possible.
ConcreteBoolVar	getConcreteVar(BoolExpression expr)
ConcreteIntVar	getConcreteVar(IntExpression expr)
ConcreteIntervalVar	getConcreteVar(IntervalExpression expr)
ConcreteSeqVar	getConcreteVar(SeqExpression expr)
Iterable<Constraint>	getConstraints()
CPBoolVar	getCPVar(BoolExpression v)
CPBoolVar[]	getCPVar(BoolExpression[] v)
CPIntVar	getCPVar(IntExpression v)
CPIntVar[]	getCPVar(IntExpression[] v)
CPIntervalVar	getCPVar(IntervalExpression v)
CPIntervalVar[]	getCPVar(IntervalExpression[] v)
CPSeqVar	getCPVar(SeqExpression v)
CPCumulFunction	getCumulFunction(CumulFunction f)
ModelProxy	getModelProxy()
StateManager	getStateManager()	Returns the state manager in charge of the global state of the solver.
void	jumpTo(SymbolicModel node, 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.
IntObjective	maximize(IntExpression v)
IntObjective	minimize(IntExpression v)
Objective	minimize(IntVar v)
SymbolicModel	symbolicCopy()

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

Field Details

solver

public final CPSolver solver

Constructor Details

ConcreteCPModel

public ConcreteCPModel(ModelProxy modelProxy,
 CPSolver solver,
 SymbolicModel baseNode)

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

getCPVar

public CPBoolVar getCPVar(BoolExpression v)

getCPVar

public CPIntVar getCPVar(IntExpression v)

enforceEqualityIntExpression

public void enforceEqualityIntExpression(IntExpression expr,
 CPIntVar v)

Enforce that v == expr, without using Equal/NotEqual if possible.

asBoolVar

public CPBoolVar asBoolVar(CPIntVar v)

minimize

public Objective minimize(IntVar v)

getCPVar

public CPIntVar[] getCPVar(IntExpression[] v)

getCPVar

public CPBoolVar[] getCPVar(BoolExpression[] v)

getCPVar

public CPSeqVar getCPVar(SeqExpression v)

getCPVar

public CPIntervalVar[] getCPVar(IntervalExpression[] v)

getCPVar

public CPIntervalVar getCPVar(IntervalExpression v)

getCumulFunction

public CPCumulFunction getCumulFunction(CumulFunction f)

minimize

public IntObjective minimize(IntExpression v)

maximize

public IntObjective maximize(IntExpression v)

add

public void add(Constraint c,
 boolean enforceFixPoint)

Specified by:

add in interface ConcreteModel

jumpTo

public void jumpTo(SymbolicModel node,
 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:

node - 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 -

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

createObjective

public Objective createObjective(Objective obj)

Specified by:

createObjective in interface ConcreteModel

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