public interface ReExpression extends ArExpression
Project: choco-solver.
Modifier and Type | Interface and Description |
---|---|
static class |
ReExpression.Operator
List of available operator for relational expression
|
NO_CHILD
Modifier and Type | Method and Description |
---|---|
default ReExpression |
and(ReExpression... y) |
default boolean |
beval(int[] values,
Map<IntVar,Integer> map) |
BoolVar |
boolVar() |
default Constraint |
decompose() |
default Constraint |
extension() |
void |
extractVar(HashSet<IntVar> variables)
Extract the variables from this expression
|
Model |
getModel()
Return the associated model
|
default int |
ieval(int[] values,
Map<IntVar,Integer> map) |
default ReExpression |
iff(ReExpression... y) |
default ArExpression |
ift(ArExpression y1,
ArExpression y2) |
default ArExpression |
ift(ArExpression y1,
int y2) |
default ArExpression |
ift(int y1,
ArExpression y2) |
default ArExpression |
ift(int y1,
int y2) |
default ReExpression |
imp(ReExpression y) |
default IntVar |
intVar() |
default ReExpression |
not() |
default ReExpression |
or(ReExpression... y) |
default void |
post()
Post the decomposition of this expression in the solver
|
default ReExpression |
xor(ReExpression y) |
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
Model getModel()
getModel
in interface ArExpression
BoolVar boolVar()
BoolVar
.
If necessary, it creates intermediary variable and posts intermediary constraintsdefault IntVar intVar()
intVar
in interface ArExpression
IntVar
.
If necessary, it creates intermediary variable and posts intermediary constraintsvoid extractVar(HashSet<IntVar> variables)
extractVar
in interface ArExpression
variables
- set of variablesdefault void post()
default Constraint decompose()
default Constraint extension()
default boolean beval(int[] values, Map<IntVar,Integer> map)
values
- int values to evaluatemap
- mapping between variables of the topmost expression and position in valuesdefault int ieval(int[] values, Map<IntVar,Integer> map)
ieval
in interface ArExpression
values
- int values to evaluatemap
- mapping between variables of the topmost expression and position in valuesdefault ReExpression and(ReExpression... y)
y
- some relational expressionsdefault ReExpression or(ReExpression... y)
y
- some relational expressionsdefault ReExpression xor(ReExpression y)
y
- a relational expressiondefault ReExpression imp(ReExpression y)
y
- a relational expressiondefault ReExpression iff(ReExpression... y)
y
- a relational expressiondefault ReExpression not()
default ArExpression ift(ArExpression y1, ArExpression y2)
y1
- an arithmetic expressiony2
- an arithmetic expressiondefault ArExpression ift(ArExpression y1, int y2)
y1
- an arithmetic expressiony2
- an intdefault ArExpression ift(int y1, ArExpression y2)
y1
- an inty2
- an arithmetic expressiondefault ArExpression ift(int y1, int y2)
y1
- an inty2
- an intCopyright © 2018. All rights reserved.