public class UnLoExpression extends LoExpression
LoExpression.Operator
NO_CHILD
Constructor and Description |
---|
UnLoExpression(LoExpression.Operator op,
ReExpression e)
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() |
and, extension, ieval, iff, imp, intVar, not, or, post, xor
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
abs, add, add, add, dist, dist, div, div, eq, eq, eq, ge, ge, getExpressionChild, 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 UnLoExpression(LoExpression.Operator op, ReExpression e)
op
- an operatore
- an expressionpublic Model getModel()
LoExpression
getModel
in interface ArExpression
getModel
in class LoExpression
public BoolVar boolVar()
boolVar
in class LoExpression
BoolVar
.
If necessary, it creates intermediary variable and posts intermediary constraintspublic void extractVar(HashSet<IntVar> variables)
ReExpression
extractVar
in interface ArExpression
extractVar
in class ReExpression
variables
- set of variablespublic Constraint decompose()
decompose
in class ReExpression
public boolean beval(int[] values, Map<IntVar,Integer> map)
beval
in class ReExpression
Copyright © 2017. All rights reserved.