Gecode::MiniModel::ArithNonLinIntExpr Class Reference
Non-linear arithmetic expressions over integer variables. More...
Public Types | |
enum | ArithNonLinIntExprType { ANLE_ABS, ANLE_MIN, ANLE_MAX, ANLE_MULT, ANLE_DIV, ANLE_MOD, ANLE_SQR, ANLE_SQRT, ANLE_POW, ANLE_NROOT, ANLE_ELMNT, ANLE_ITE } |
The expression type. More... | |
Public Member Functions | |
ArithNonLinIntExpr (ArithNonLinIntExprType t0, int n0) | |
Constructor. | |
ArithNonLinIntExpr (ArithNonLinIntExprType t0, int n0, int a0) | |
Constructor. | |
ArithNonLinIntExpr (ArithNonLinIntExprType t0, int n0, const BoolExpr &b0) | |
Constructor. | |
~ArithNonLinIntExpr (void) | |
Destructor. | |
virtual IntVar | post (Home home, IntVar *ret, const IntPropLevels &ipls) const |
Post expression. | |
virtual void | post (Home home, IntRelType irt, int c, const IntPropLevels &ipls) const |
Post expression to be in relation irt with c. | |
virtual void | post (Home home, IntRelType irt, int c, BoolVar b, const IntPropLevels &ipls) const |
Post reified expression to be in relation irt with c. | |
Public Attributes | |
enum Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExprType | t |
The expression type. | |
LinIntExpr * | a |
Expressions. | |
int | n |
Size of variable array. | |
int | aInt |
Integer argument (used in nroot for example). | |
BoolExpr | b |
Boolean expression argument (used in ite for example). |
Detailed Description
Non-linear arithmetic expressions over integer variables.
Definition at line 39 of file int-arith.cpp.
Member Enumeration Documentation
The expression type.
- Enumerator:
Definition at line 42 of file int-arith.cpp.
Constructor & Destructor Documentation
Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExpr | ( | ArithNonLinIntExprType | t0, | |
int | n0 | |||
) | [inline] |
Constructor.
Definition at line 65 of file int-arith.cpp.
Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExpr | ( | ArithNonLinIntExprType | t0, | |
int | n0, | |||
int | a0 | |||
) | [inline] |
Constructor.
Definition at line 68 of file int-arith.cpp.
Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExpr | ( | ArithNonLinIntExprType | t0, | |
int | n0, | |||
const BoolExpr & | b0 | |||
) | [inline] |
Constructor.
Definition at line 71 of file int-arith.cpp.
Gecode::MiniModel::ArithNonLinIntExpr::~ArithNonLinIntExpr | ( | void | ) | [inline] |
Destructor.
Definition at line 74 of file int-arith.cpp.
Member Function Documentation
virtual IntVar Gecode::MiniModel::ArithNonLinIntExpr::post | ( | Home | home, | |
IntVar * | ret, | |||
const IntPropLevels & | ipls | |||
) | const [inline, virtual] |
virtual void Gecode::MiniModel::ArithNonLinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
int | c, | |||
const IntPropLevels & | ipls | |||
) | const [inline, virtual] |
Post expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 271 of file int-arith.cpp.
virtual void Gecode::MiniModel::ArithNonLinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
int | c, | |||
BoolVar | b, | |||
const IntPropLevels & | ipls | |||
) | const [inline, virtual] |
Post reified expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 283 of file int-arith.cpp.
Member Data Documentation
enum Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExprType Gecode::MiniModel::ArithNonLinIntExpr::t |
The expression type.
Expressions.
Definition at line 57 of file int-arith.cpp.
Size of variable array.
Definition at line 59 of file int-arith.cpp.
Integer argument (used in nroot for example).
Definition at line 61 of file int-arith.cpp.
Boolean expression argument (used in ite for example).
Definition at line 63 of file int-arith.cpp.
The documentation for this class was generated from the following file:
- gecode/minimodel/int-arith.cpp