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. | |
LinFloatExpr (const FloatVal &c) | |
Create expression for constant c. | |
LinFloatExpr (const FloatVar &x) | |
Create expression. | |
LinFloatExpr (const FloatVar &x, FloatVal a) | |
Create expression. | |
LinFloatExpr (const FloatVarArgs &x) | |
Create sum expression. | |
LinFloatExpr (const FloatValArgs &a, const FloatVarArgs &x) | |
Create sum expression. | |
LinFloatExpr (const LinFloatExpr &e) | |
Copy constructor. | |
LinFloatExpr (const LinFloatExpr &e0, NodeType t, const LinFloatExpr &e1) | |
Create expression for type and subexpressions. | |
LinFloatExpr (const LinFloatExpr &e0, NodeType t, const FloatVal &c) | |
Create expression for type and subexpression. | |
LinFloatExpr (FloatVal a, const LinFloatExpr &e) | |
Create expression for multiplication. | |
LinFloatExpr (NonLinFloatExpr *e) | |
Create non-linear expression. | |
const LinFloatExpr & | operator= (const LinFloatExpr &e) |
Assignment operator. | |
void | post (Home home, FloatRelType frt) const |
Post propagator. | |
void | post (Home home, FloatRelType frt, const BoolVar &b) const |
Post reified propagator. | |
FloatVar | post (Home home) const |
Post propagator and return variable for value. | |
NonLinFloatExpr * | nlfe (void) const |
Return non-linear expression inside, or null if not non-linear. | |
~LinFloatExpr (void) | |
Destructor. |
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.