Module org.chocosolver
Class LoExpression
- java.lang.Object
-
- org.chocosolver.solver.expression.discrete.logical.LoExpression
-
- All Implemented Interfaces:
ArExpression
,ReExpression
- Direct Known Subclasses:
BiLoExpression
,NaLoExpression
,UnLoExpression
public abstract class LoExpression extends Object implements ReExpression
Project: choco-solver.
- Since:
- 04/04/2017.
- Author:
- Charles Prud'homme
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
LoExpression.Operator
List of available operator for relational expression
-
Field Summary
Fields Modifier and Type Field Description protected BoolVar
me
Lazy creation of the underlying variableprotected Model
model
The model in which the expression is declaredprotected LoExpression.Operator
op
Operator of the arithmetic expression-
Fields inherited from interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
NO_CHILD
-
-
Constructor Summary
Constructors Constructor Description LoExpression(Model model, LoExpression.Operator op)
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract BoolVar
boolVar()
abstract Model
getModel()
Return the associated model-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
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
-
-
-
-
Field Detail
-
model
protected final Model model
The model in which the expression is declared
-
me
protected BoolVar me
Lazy creation of the underlying variable
-
op
protected final LoExpression.Operator op
Operator of the arithmetic expression
-
-
Constructor Detail
-
LoExpression
public LoExpression(Model model, LoExpression.Operator op)
-
-
Method Detail
-
getModel
public abstract Model getModel()
Return the associated model- Specified by:
getModel
in interfaceArExpression
- Specified by:
getModel
in interfaceReExpression
- Returns:
- a Model object
-
boolVar
public abstract BoolVar boolVar()
- Specified by:
boolVar
in interfaceReExpression
- Returns:
- the logical expression as an
BoolVar
. If necessary, it creates intermediary variable and posts intermediary constraints
-
-