Module org.chocosolver
Class NaReExpression
- java.lang.Object
-
- org.chocosolver.solver.expression.discrete.relational.NaReExpression
-
- All Implemented Interfaces:
ArExpression
,ReExpression
public class NaReExpression extends Object implements ReExpression
Binary relational expressionProject: choco-solver.
- Since:
- 28/04/2016.
- Author:
- Charles Prud'homme
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.chocosolver.solver.expression.discrete.relational.ReExpression
ReExpression.Operator
-
-
Field Summary
-
Fields inherited from interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
NO_CHILD
-
-
Constructor Summary
Constructors Constructor Description NaReExpression(ReExpression.Operator op, ArExpression... es)
Builds a binary expressionNaReExpression(ReExpression.Operator op, ArExpression e, ArExpression... es)
Builds a nary expression
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
beval(int[] values, Map<IntVar,Integer> map)
BoolVar
boolVar()
Constraint
decompose()
void
extractVar(HashSet<IntVar> variables)
Extract the variables from this expressionModel
getModel()
Return the associated modelString
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, 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
-
NaReExpression
public NaReExpression(ReExpression.Operator op, ArExpression e, ArExpression... es)
Builds a nary expression- Parameters:
op
- an operatore
- an expressiones
- some expressions
-
NaReExpression
public NaReExpression(ReExpression.Operator op, ArExpression... es)
Builds a binary expression- Parameters:
op
- an operatores
- some expressions
-
-
Method Detail
-
getModel
public Model getModel()
Description copied from interface:ReExpression
Return the associated model- Specified by:
getModel
in interfaceArExpression
- Specified by:
getModel
in interfaceReExpression
- Returns:
- a Model object
-
boolVar
public BoolVar boolVar()
- Specified by:
boolVar
in interfaceReExpression
- Returns:
- the relational 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- Specified by:
extractVar
in interfaceArExpression
- Specified by:
extractVar
in interfaceReExpression
- Parameters:
variables
- set of variables
-
decompose
public Constraint decompose()
- Specified by:
decompose
in interfaceReExpression
- 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)
- Specified by:
beval
in interfaceReExpression
- Parameters:
values
- int values to evaluatemap
- mapping between variables of the topmost expression and position in values- Returns:
- an evaluation of this relational expression based on a tuple
-
-