Module org.chocosolver.solver

Package org.chocosolver.solver.expression.discrete.arithmetic

Class ArExpression.IntPrimitive

java.lang.Object

org.chocosolver.solver.expression.discrete.arithmetic.ArExpression.IntPrimitive

All Implemented Interfaces:

ArExpression

Enclosing interface:

ArExpression

public static class ArExpression.IntPrimitive
extends Object
implements ArExpression

Nested Class Summary

Nested classes/interfaces inherited from interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression

ArExpression.IntPrimitive, ArExpression.Operator

Field Summary

Fields inherited from interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression

NO_CHILD

Constructor Summary

Constructors

Constructor	Description
IntPrimitive(int value, Model model)

Method Summary

Modifier and Type	Method	Description
void	extractVar(HashSet<IntVar> variables)	Extract the variables from this expression
Model	getModel()	Return the associated model
int	ieval(int[] values, Map<IntVar,Integer> map)
IntVar	intVar()
boolean	isExpressionLeaf()
OptionalInt	primitive()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression

abs, add, add, add, dist, dist, div, div, eq, eq, eq, ge, ge, getExpressionChild, getNoChild, gt, gt, in, in, le, le, lt, lt, max, max, max, min, min, min, mod, mod, mul, mul, mul, ne, ne, neg, pow, pow, sqr, sub, sub

Constructor Detail

IntPrimitive

public IntPrimitive(int value,
                    Model model)

Method Detail

primitive

public OptionalInt primitive()

Specified by:

primitive in interface ArExpression

Returns:

an OptionalInt which contains an int this expression is a primitive.

getModel

public Model getModel()

Description copied from interface: ArExpression

Return the associated model

Specified by:

getModel in interface ArExpression

Returns:

a Model object

intVar

public IntVar intVar()

Specified by:

intVar in interface ArExpression

Returns:

the arithmetic expression as an IntVar. If necessary, it creates intermediary variable and posts intermediary constraints

isExpressionLeaf

public boolean isExpressionLeaf()

Specified by:

isExpressionLeaf in interface ArExpression

Returns:

true if this expression is a leaf, ie a variable, false otherwise

extractVar

public void extractVar(HashSet<IntVar> variables)

Description copied from interface: ArExpression

Extract the variables from this expression

Specified by:

extractVar in interface ArExpression

Parameters:

variables - set of variables

ieval

public int ieval(int[] values,
                 Map<IntVar,Integer> map)

Specified by:

ieval in interface ArExpression

Parameters:

values - int values to evaluate

map - mapping between variables of the topmost expression and position in values

Returns:

an evaluation of this expression with a tuple

toString

public String toString()

Overrides:

toString in class Object