org.chocosolver.solver.expression.discrete.logical

Class BiLoExpression

java.lang.Object

org.chocosolver.solver.expression.discrete.logical.LoExpression

org.chocosolver.solver.expression.discrete.logical.BiLoExpression

All Implemented Interfaces:

ArExpression, ReExpression

public class BiLoExpression
extends LoExpression

Binary arithmetic expression

Project: choco-solver.

Since:

28/04/2016.

Author:

Charles Prud'homme

Nested Class Summary

Nested classes/interfaces inherited from class org.chocosolver.solver.expression.discrete.logical.LoExpression

LoExpression.Operator

Field Summary

Fields inherited from class org.chocosolver.solver.expression.discrete.logical.LoExpression

me, model, op

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

NO_CHILD

Constructor Summary

Constructors

Constructor and Description
BiLoExpression(LoExpression.Operator op, ReExpression e1, ReExpression e2) Builds a n-ary expression

Method Summary

Modifier and Type	Method and Description
boolean	beval(int[] values, Map<IntVar,Integer> map)
BoolVar	boolVar()
Constraint	decompose()
void	extractVar(HashSet<IntVar> variables) Extract the variables from this expression
Model	getModel() Return the associated model
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.relational.ReExpression

and, extension, ieval, iff, ift, ift, ift, ift, imp, intVar, not, or, post, xor

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

BiLoExpression

public BiLoExpression(LoExpression.Operator op,
                      ReExpression e1,
                      ReExpression e2)

Builds a n-ary expression

Parameters:

op - an operator

e1 - an expression

e2 - an expression

Method Detail

getModel

public Model getModel()

Description copied from class: LoExpression

Return the associated model

Specified by:

getModel in interface ArExpression

Specified by:

getModel in interface ReExpression

Specified by:

getModel in class LoExpression

Returns:

a Model object

boolVar

public BoolVar boolVar()

Specified by:

boolVar in interface ReExpression

Specified by:

boolVar in class LoExpression

Returns:

the logical expression as an BoolVar. If necessary, it creates intermediary variable and posts intermediary constraints

extractVar

public void extractVar(HashSet<IntVar> variables)

Description copied from interface: ReExpression

Extract the variables from this expression

Parameters:

variables - set of variables

decompose

public Constraint decompose()

Returns:

the topmost constraint representing the expression. If needed, a call to this method creates additional variables and posts additional constraints.

beval

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

Parameters:

values - int values to evaluate

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

Returns:

an evaluation of this relational expression based on a tuple

toString

public String toString()

Overrides:

toString in class Object