public abstract class LoExpression extends Object implements ReExpression
Project: choco-solver.
Modifier and Type | Class and Description |
---|---|
static class |
LoExpression.Operator
List of available operator for relational expression
|
Modifier and Type | Field and Description |
---|---|
protected BoolVar |
me
Lazy creation of the underlying variable
|
protected Model |
model
The model in which the expression is declared
|
protected LoExpression.Operator |
op
Operator of the arithmetic expression
|
NO_CHILD
Constructor and Description |
---|
LoExpression(Model model,
LoExpression.Operator op) |
Modifier and Type | Method and Description |
---|---|
abstract BoolVar |
boolVar() |
abstract Model |
getModel()
Return the associated model
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
and, beval, decompose, extension, extractVar, 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
protected final Model model
protected BoolVar me
protected final LoExpression.Operator op
public LoExpression(Model model, LoExpression.Operator op)
public abstract Model getModel()
getModel
in interface ArExpression
getModel
in interface ReExpression
public abstract BoolVar boolVar()
boolVar
in interface ReExpression
BoolVar
.
If necessary, it creates intermediary variable and posts intermediary constraintsCopyright © 2018. All rights reserved.