
Non-linear float arithmetic expressions. More...
Public Types | |
| enum | ArithNonLinFloatExprType { ANLFE_ABS, ANLFE_MIN, ANLFE_MAX, ANLFE_MULT, ANLFE_DIV, ANLFE_SQR, ANLFE_SQRT, ANLFE_EXP, ANLFE_LOG, ANLFE_ASIN, ANLFE_SIN, ANLFE_ACOS, ANLFE_COS, ANLFE_ATAN, ANLFE_TAN, ANLFE_POW, ANLFE_NROOT } |
| The expression type. More... | |
Public Member Functions | |
| ArithNonLinFloatExpr (ArithNonLinFloatExprType t0, int n0) | |
| Constructors. More... | |
| ArithNonLinFloatExpr (ArithNonLinFloatExprType t0, int n0, int a0) | |
| ~ArithNonLinFloatExpr (void) | |
| Destructor. More... | |
| virtual FloatVar | post (Home home, FloatVar *ret) const |
| Post expression. More... | |
| virtual void | post (Home home, FloatRelType frt, FloatVal c) const |
| Post expression to be in relation frt with c. More... | |
| virtual void | post (Home home, FloatRelType frt, FloatVal c, BoolVar b) const |
| Post reified expression to be in relation frt with c. More... | |
Public Member Functions inherited from Gecode::NonLinFloatExpr | |
| virtual | ~NonLinFloatExpr (void) |
| Destructor. More... | |
| void * | operator new (size_t size) |
| Memory management. More... | |
| void | operator delete (void *p, size_t) |
| Memory management. More... | |
Public Attributes | |
| enum Gecode::MiniModel::ArithNonLinFloatExpr::ArithNonLinFloatExprType | t |
| LinFloatExpr * | a |
| Expressions. More... | |
| int | n |
| Size of variable array. More... | |
| int | aInt |
| Integer argument (used in nroot for example) More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::NonLinFloatExpr | |
| static FloatVar | result (Home home, FloatVar *x) |
| Return fresh variable if x is NULL, x otherwise. More... | |
| static FloatVar | result (Home home, FloatVar *x, FloatVar y) |
| Constrain x to be equal to y if x is not NULL. More... | |
Non-linear float arithmetic expressions.
Definition at line 47 of file float-arith.cpp.
The expression type.
Definition at line 51 of file float-arith.cpp.
|
inline |
Constructors.
Definition at line 79 of file float-arith.cpp.
|
inline |
Definition at line 81 of file float-arith.cpp.
|
inline |
Destructor.
Definition at line 84 of file float-arith.cpp.
|
inlinevirtual |
Post expression to be in relation frt with c.
Implements Gecode::NonLinFloatExpr.
Definition at line 301 of file float-arith.cpp.
|
inlinevirtual |
Post reified expression to be in relation frt with c.
Implements Gecode::NonLinFloatExpr.
Definition at line 312 of file float-arith.cpp.
| enum Gecode::MiniModel::ArithNonLinFloatExpr::ArithNonLinFloatExprType Gecode::MiniModel::ArithNonLinFloatExpr::t |
| LinFloatExpr* Gecode::MiniModel::ArithNonLinFloatExpr::a |
Expressions.
Definition at line 73 of file float-arith.cpp.
| int Gecode::MiniModel::ArithNonLinFloatExpr::n |
Size of variable array.
Definition at line 75 of file float-arith.cpp.
| int Gecode::MiniModel::ArithNonLinFloatExpr::aInt |
Integer argument (used in nroot for example)
Definition at line 77 of file float-arith.cpp.