Non-linear arithmetic expressions. More...
Public Types | |
enum | ArithNonLinExprType { ANLE_ABS, ANLE_MIN, ANLE_MAX, ANLE_MULT, ANLE_DIV, ANLE_MOD, ANLE_SQR, ANLE_SQRT, ANLE_ELMNT } |
The expression type. More... | |
Public Member Functions | |
ArithNonLinExpr (ArithNonLinExprType t0, int n0) | |
Constructor. More... | |
~ArithNonLinExpr (void) | |
Destructor. More... | |
virtual IntVar | post (Home home, IntVar *ret, IntConLevel icl) const |
Post expression. More... | |
virtual void | post (Home home, IntRelType irt, int c, IntConLevel icl) const |
Post expression to be in relation irt with c. More... | |
virtual void | post (Home home, IntRelType irt, int c, BoolVar b, IntConLevel icl) const |
Post reified expression to be in relation irt with c. More... | |
![]() | |
virtual | ~NonLinExpr (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::ArithNonLinExpr::ArithNonLinExprType | t |
LinExpr * | a |
Expressions. More... | |
int | n |
Size of variable array. More... | |
Additional Inherited Members | |
![]() | |
static IntVar | result (Home home, IntVar *x) |
Return fresh variable if x is NULL, x otherwise. More... | |
static IntVar | result (Home home, IntVar *x, IntVar y) |
Constrain x to be equal to y if x is not NULL. More... | |
Non-linear arithmetic expressions.
Definition at line 44 of file arithmetic.cpp.
The expression type.
Definition at line 47 of file arithmetic.cpp.
|
inline |
Constructor.
Definition at line 63 of file arithmetic.cpp.
|
inline |
Destructor.
Definition at line 66 of file arithmetic.cpp.
|
inlinevirtual |
|
inlinevirtual |
Post expression to be in relation irt with c.
Implements Gecode::NonLinExpr.
Definition at line 224 of file arithmetic.cpp.
|
inlinevirtual |
Post reified expression to be in relation irt with c.
Implements Gecode::NonLinExpr.
Definition at line 236 of file arithmetic.cpp.
enum Gecode::MiniModel::ArithNonLinExpr::ArithNonLinExprType Gecode::MiniModel::ArithNonLinExpr::t |
LinExpr* Gecode::MiniModel::ArithNonLinExpr::a |
Expressions.
Definition at line 59 of file arithmetic.cpp.
int Gecode::MiniModel::ArithNonLinExpr::n |
Size of variable array.
Definition at line 61 of file arithmetic.cpp.