
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 715 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 719 of file minimodel.hh.
| Gecode::LinFloatExpr::LinFloatExpr | ( | void | ) |
Default constructor.
Definition at line 228 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const FloatVal & | c | ) |
Create expression for constant c.
Definition at line 236 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const FloatVar & | x | ) |
Create expression.
Definition at line 246 of file float-expr.cpp.
Create expression.
Definition at line 255 of file float-expr.cpp.
|
explicit |
Create sum expression.
Definition at line 264 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const FloatValArgs & | a, |
| const FloatVarArgs & | x | ||
| ) |
Create sum expression.
Definition at line 278 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | const LinFloatExpr & | e | ) |
Copy constructor.
Definition at line 136 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 294 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 302 of file float-expr.cpp.
| Gecode::LinFloatExpr::LinFloatExpr | ( | FloatVal | a, |
| const LinFloatExpr & | e | ||
| ) |
Create expression for multiplication.
Definition at line 311 of file float-expr.cpp.
|
explicit |
Create non-linear expression.
Definition at line 320 of file float-expr.cpp.
| Gecode::LinFloatExpr::~LinFloatExpr | ( | void | ) |
Destructor.
Definition at line 339 of file float-expr.cpp.
| const LinFloatExpr & Gecode::LinFloatExpr::operator= | ( | const LinFloatExpr & | e | ) |
Assignment operator.
Definition at line 330 of file float-expr.cpp.
| void Gecode::LinFloatExpr::post | ( | Home | home, |
| FloatRelType | frt | ||
| ) | const |
Post propagator.
Definition at line 156 of file float-expr.cpp.
| void Gecode::LinFloatExpr::post | ( | Home | home, |
| FloatRelType | frt, | ||
| const BoolVar & | b | ||
| ) | const |
Post reified propagator.
Definition at line 187 of file float-expr.cpp.
Post propagator and return variable for value.
Definition at line 211 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 142 of file float-expr.cpp.