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.