org.chocosolver.solver.expression.discrete.arithmetic

Class IfArExpression

java.lang.Object

org.chocosolver.solver.expression.discrete.arithmetic.IfArExpression

All Implemented Interfaces:

ArExpression

public class IfArExpression
extends Object
implements ArExpression

Project: choco-solver.

Since:

05/06/2018.

Author:

Charles Prud'homme

Nested Class Summary

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

ArExpression.Operator

Field Summary

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

NO_CHILD

Constructor Summary

Constructors

Constructor and Description
IfArExpression(ReExpression b, ArExpression y1, ArExpression y2)

Method Summary

Modifier and Type	Method and Description
void	extractVar(HashSet<IntVar> variables) Extract the variables from this expression
ArExpression[]	getExpressionChild()
Model	getModel() Return the associated model
int	getNoChild()
int	ieval(int[] values, Map<IntVar,Integer> map)
IntVar	intVar()
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, gt, gt, isExpressionLeaf, 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

IfArExpression

public IfArExpression(ReExpression b,
                      ArExpression y1,
                      ArExpression y2)

Method Detail

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

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

getNoChild

public int getNoChild()

Specified by:

getNoChild in interface ArExpression

Returns:

the child of this expression, or null if thid

getExpressionChild

public ArExpression[] getExpressionChild()

Specified by:

getExpressionChild in interface ArExpression

Returns:

the child of this expression, or null if thid

toString

public String toString()

Overrides:

toString in class Object