
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. | |
| ArithNonLinFloatExpr (ArithNonLinFloatExprType t0, int n0, int a0) | |
| ~ArithNonLinFloatExpr (void) | |
| Destructor. | |
| virtual FloatVar | post (Home home, FloatVar *ret) const |
| Post expression. | |
| virtual void | post (Home home, FloatRelType frt, FloatVal c) const |
| Post expression to be in relation frt with c. | |
| virtual void | post (Home home, FloatRelType frt, FloatVal c, BoolVar b) const |
| Post reified expression to be in relation frt with c. | |
Public Member Functions inherited from Gecode::NonLinFloatExpr | |
| virtual | ~NonLinFloatExpr (void) |
| Destructor. | |
| void * | operator new (size_t s) |
| Memory management. | |
| void | operator delete (void *p, size_t s) |
| Memory management. | |
Public Attributes | |
| enum Gecode::MiniModel::ArithNonLinFloatExpr::ArithNonLinFloatExprType | t |
| LinFloatExpr * | a |
| Expressions. | |
| int | n |
| Size of variable array. | |
| int | aInt |
| Integer argument (used in nroot for example) | |
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. | |
| static FloatVar | result (Home home, FloatVar *x, FloatVar y) |
| Constrain x to be equal to y if x is not null. | |
Non-linear float arithmetic expressions.
Definition at line 43 of file float-arith.cpp.
The expression type.
Definition at line 47 of file float-arith.cpp.
|
inline |
Constructors.
Definition at line 75 of file float-arith.cpp.
|
inline |
Definition at line 77 of file float-arith.cpp.
|
inline |
Destructor.
Definition at line 80 of file float-arith.cpp.
|
inlinevirtual |
Post expression to be in relation frt with c.
Implements Gecode::NonLinFloatExpr.
Definition at line 300 of file float-arith.cpp.
|
inlinevirtual |
Post reified expression to be in relation frt with c.
Implements Gecode::NonLinFloatExpr.
Definition at line 311 of file float-arith.cpp.
| enum Gecode::MiniModel::ArithNonLinFloatExpr::ArithNonLinFloatExprType Gecode::MiniModel::ArithNonLinFloatExpr::t |
| LinFloatExpr* Gecode::MiniModel::ArithNonLinFloatExpr::a |
Expressions.
Definition at line 69 of file float-arith.cpp.
| int Gecode::MiniModel::ArithNonLinFloatExpr::n |
Size of variable array.
Definition at line 71 of file float-arith.cpp.
| int Gecode::MiniModel::ArithNonLinFloatExpr::aInt |
Integer argument (used in nroot for example)
Definition at line 73 of file float-arith.cpp.