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... | |
![]() | |
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 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.