public class NaLoExpression extends LoExpression
LoExpression.Operator
me, model, op
NO_CHILD
Constructor and Description |
---|
NaLoExpression(LoExpression.Operator op,
ReExpression... es)
Builds a n-ary expression
|
NaLoExpression(LoExpression.Operator op,
ReExpression e,
ReExpression... es)
Builds a n-ary 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 NaLoExpression(LoExpression.Operator op, ReExpression... es)
op
- an operatores
- some expressionspublic NaLoExpression(LoExpression.Operator op, ReExpression e, ReExpression... es)
op
- an operatores
- some expressionspublic Model getModel()
LoExpression
getModel
in interface ArExpression
getModel
in interface ReExpression
getModel
in class LoExpression
public BoolVar boolVar()
boolVar
in interface ReExpression
boolVar
in class LoExpression
BoolVar
.
If necessary, it creates intermediary variable and posts intermediary constraintspublic void extractVar(HashSet<IntVar> variables)
ReExpression
variables
- set of variablespublic Constraint decompose()
public boolean beval(int[] values, Map<IntVar,Integer> map)
values
- int values to evaluatemap
- mapping between variables of the topmost expression and position in valuesCopyright © 2018. All rights reserved.