Gecode::MiniModel::ArithNonLinFloatExpr Class Reference
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 Attributes | |
enum Gecode::MiniModel::ArithNonLinFloatExpr::ArithNonLinFloatExprType | t |
The expression type. | |
LinFloatExpr * | a |
Expressions. | |
int | n |
Size of variable array. | |
int | aInt |
Integer argument (used in nroot for example). |
Detailed Description
Non-linear float arithmetic expressions.
Definition at line 43 of file float-arith.cpp.
Member Enumeration Documentation
The expression type.
- Enumerator:
Definition at line 47 of file float-arith.cpp.
Constructor & Destructor Documentation
Gecode::MiniModel::ArithNonLinFloatExpr::ArithNonLinFloatExpr | ( | ArithNonLinFloatExprType | t0, | |
int | n0 | |||
) | [inline] |
Constructors.
Definition at line 75 of file float-arith.cpp.
Gecode::MiniModel::ArithNonLinFloatExpr::ArithNonLinFloatExpr | ( | ArithNonLinFloatExprType | t0, | |
int | n0, | |||
int | a0 | |||
) | [inline] |
Definition at line 77 of file float-arith.cpp.
Gecode::MiniModel::ArithNonLinFloatExpr::~ArithNonLinFloatExpr | ( | void | ) | [inline] |
Destructor.
Definition at line 80 of file float-arith.cpp.
Member Function Documentation
virtual void Gecode::MiniModel::ArithNonLinFloatExpr::post | ( | Home | home, | |
FloatRelType | frt, | |||
FloatVal | c | |||
) | const [inline, virtual] |
Post expression to be in relation frt with c.
Implements Gecode::NonLinFloatExpr.
Definition at line 300 of file float-arith.cpp.
virtual void Gecode::MiniModel::ArithNonLinFloatExpr::post | ( | Home | home, | |
FloatRelType | frt, | |||
FloatVal | c, | |||
BoolVar | b | |||
) | const [inline, virtual] |
Post reified expression to be in relation frt with c.
Implements Gecode::NonLinFloatExpr.
Definition at line 311 of file float-arith.cpp.
Member Data Documentation
enum Gecode::MiniModel::ArithNonLinFloatExpr::ArithNonLinFloatExprType Gecode::MiniModel::ArithNonLinFloatExpr::t |
The expression type.
Expressions.
Definition at line 69 of file float-arith.cpp.
Size of variable array.
Definition at line 71 of file float-arith.cpp.
Integer argument (used in nroot for example).
Definition at line 73 of file float-arith.cpp.
The documentation for this class was generated from the following file:
- gecode/minimodel/float-arith.cpp