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.