public class NaReExpression extends Object implements ReExpression
Project: choco-solver.
ReExpression.Operator
NO_CHILD
Constructor and Description |
---|
NaReExpression(ReExpression.Operator op,
ArExpression... es)
Builds a binary expression
|
NaReExpression(ReExpression.Operator op,
ArExpression e,
ArExpression... es)
Builds a nary expression
|
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() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
and, extension, ieval, iff, ift, ift, ift, ift, imp, intVar, not, or, post, xor
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
public NaReExpression(ReExpression.Operator op, ArExpression e, ArExpression... es)
op
- an operatore
- an expressiones
- some expressionspublic NaReExpression(ReExpression.Operator op, ArExpression... es)
op
- an operatores
- some expressionspublic Model getModel()
ReExpression
getModel
in interface ArExpression
getModel
in interface ReExpression
public BoolVar boolVar()
boolVar
in interface ReExpression
BoolVar
.
If necessary, it creates intermediary variable and posts intermediary constraintspublic void extractVar(HashSet<IntVar> variables)
ReExpression
extractVar
in interface ArExpression
extractVar
in interface ReExpression
variables
- set of variablespublic Constraint decompose()
decompose
in interface ReExpression
public boolean beval(int[] values, Map<IntVar,Integer> map)
beval
in interface ReExpression
values
- int values to evaluatemap
- mapping between variables of the topmost expression and position in valuesCopyright © 2018. All rights reserved.