- Gecode
- LinFloatExpr

Float expressions More...
#include <minimodel.hh>
Classes | |
| class | Node |
| Nodes for linear expressions. More... | |
Public Types | |
| enum | NodeType { NT_CONST , NT_VAR , NT_NONLIN , NT_SUM , NT_ADD , NT_SUB , NT_MUL } |
| Type of linear expression. More... | |
Public Member Functions | |
| LinFloatExpr (void) | |
| Default constructor. More... | |
| LinFloatExpr (const FloatVal &c) | |
| Create expression for constant c. More... | |
| LinFloatExpr (const FloatVar &x) | |
| Create expression. More... | |
| LinFloatExpr (const FloatVar &x, FloatVal a) | |
| Create expression. More... | |
| LinFloatExpr (const FloatVarArgs &x) | |
| Create sum expression. More... | |
| LinFloatExpr (const FloatValArgs &a, const FloatVarArgs &x) | |
| Create sum expression. More... | |
| LinFloatExpr (const LinFloatExpr &e) | |
| Copy constructor. More... | |
| LinFloatExpr (const LinFloatExpr &e0, NodeType t, const LinFloatExpr &e1) | |
| Create expression for type and subexpressions. More... | |
| LinFloatExpr (const LinFloatExpr &e0, NodeType t, const FloatVal &c) | |
| Create expression for type and subexpression. More... | |
| LinFloatExpr (FloatVal a, const LinFloatExpr &e) | |
| Create expression for multiplication. More... | |
| LinFloatExpr (NonLinFloatExpr *e) | |
| Create non-linear expression. More... | |
| const LinFloatExpr & | operator= (const LinFloatExpr &e) |
| Assignment operator. More... | |
| void | post (Home home, FloatRelType frt) const |
| Post propagator. More... | |
| void | post (Home home, FloatRelType frt, const BoolVar &b) const |
| Post reified propagator. More... | |
| FloatVar | post (Home home) const |
| Post propagator and return variable for value. More... | |
| NonLinFloatExpr * | nlfe (void) const |
| Return non-linear expression inside, or null if not non-linear. More... | |
| ~LinFloatExpr (void) | |
| Destructor. More... | |
Float expressions
Definition at line 822 of file minimodel.hh.
Type of linear expression.
| Enumerator | |
|---|---|
| NT_CONST | Float value constant. |
| NT_VAR | Linear term with variable. |
| NT_NONLIN | Non-linear expression. |
| NT_SUM | Sum of float variables. |
| NT_ADD | Addition of linear terms. |
| NT_SUB | Subtraction of linear terms. |
| NT_MUL | Multiplication by coefficient. |
Definition at line 826 of file minimodel.hh.
| Gecode::LinFloatExpr::LinFloatExpr | ( | void | ) |
Default constructor.
Definition at line 226 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const FloatVal & | c | ) |
Create expression for constant c.
Definition at line 234 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const FloatVar & | x | ) |
Create expression.
Definition at line 244 of file float-expr.cpp.
Create expression.
Definition at line 253 of file float-expr.cpp.
|
explicit |
Create sum expression.
Definition at line 262 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const FloatValArgs & | a, |
| const FloatVarArgs & | x | ||
| ) |
Create sum expression.
Definition at line 276 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const LinFloatExpr & | e | ) |
Copy constructor.
Definition at line 132 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const LinFloatExpr & | e0, |
| NodeType | t, | ||
| const LinFloatExpr & | e1 | ||
| ) |
Create expression for type and subexpressions.
Definition at line 292 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const LinFloatExpr & | e0, |
| NodeType | t, | ||
| const FloatVal & | c | ||
| ) |
Create expression for type and subexpression.
Definition at line 300 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | FloatVal | a, |
| const LinFloatExpr & | e | ||
| ) |
Create expression for multiplication.
Definition at line 309 of file float-expr.cpp.
|
explicit |
Create non-linear expression.
Definition at line 318 of file float-expr.cpp.
| Gecode::LinFloatExpr::~LinFloatExpr | ( | void | ) |
Destructor.
Definition at line 337 of file float-expr.cpp.
| const LinFloatExpr & Gecode::LinFloatExpr::operator= | ( | const LinFloatExpr & | e | ) |
Assignment operator.
Definition at line 328 of file float-expr.cpp.
| void Gecode::LinFloatExpr::post | ( | Home | home, |
| FloatRelType | frt | ||
| ) | const |
Post propagator.
Definition at line 152 of file float-expr.cpp.
| void Gecode::LinFloatExpr::post | ( | Home | home, |
| FloatRelType | frt, | ||
| const BoolVar & | b | ||
| ) | const |
Post reified propagator.
Definition at line 185 of file float-expr.cpp.
Post propagator and return variable for value.
Definition at line 209 of file float-expr.cpp.
| NonLinFloatExpr * Gecode::LinFloatExpr::nlfe | ( | void | ) | const |
Return non-linear expression inside, or null if not non-linear.
Definition at line 138 of file float-expr.cpp.