Gecode::LinExpr Class Reference
Linear expressions. More...
#include <minimodel.hh>
Public Types | |
enum | NodeType { NT_VAR_INT, NT_VAR_BOOL, NT_SUM_INT, NT_SUM_BOOL, NT_ADD, NT_SUB, NT_MUL } |
Type of linear expression. More... | |
Public Member Functions | |
LinExpr (const IntVar &x, int a=1) | |
Create expression. | |
LinExpr (const BoolVar &x, int a=1) | |
Create expression. | |
LinExpr (const IntVarArgs &x) | |
Create sum expression. | |
LinExpr (const IntArgs &a, const IntVarArgs &x) | |
Create sum expression. | |
LinExpr (const BoolVarArgs &x) | |
Create sum expression. | |
LinExpr (const IntArgs &a, const BoolVarArgs &x) | |
Create sum expression. | |
LinExpr (const LinExpr &e) | |
Copy constructor. | |
LinExpr (const LinExpr &e0, NodeType t, const LinExpr &e1) | |
Create expression for type and subexpressions. | |
LinExpr (const LinExpr &e0, NodeType t, int c) | |
Create expression for type and subexpression. | |
LinExpr (int a, const LinExpr &e) | |
Create expression for multiplication. | |
const LinExpr & | operator= (const LinExpr &e) |
Assignment operator. | |
void | post (Home home, IntRelType irt, IntConLevel icl) const |
Post propagator. | |
void | post (Home home, IntRelType irt, const BoolVar &b, IntConLevel icl) const |
Post reified propagator. | |
IntVar | post (Home home, IntConLevel icl) const |
Post propagator and return variable for value. | |
~LinExpr (void) | |
Destructor. |
Detailed Description
Linear expressions.
Definition at line 97 of file minimodel.hh.
Member Enumeration Documentation
Type of linear expression.
- Enumerator:
Definition at line 101 of file minimodel.hh.
Constructor & Destructor Documentation
Gecode::LinExpr::LinExpr | ( | const IntVar & | x, | |
int | a = 1 | |||
) | [inline] |
Create expression.
Definition at line 98 of file lin-expr.hpp.
Gecode::LinExpr::LinExpr | ( | const BoolVar & | x, | |
int | a = 1 | |||
) | [inline] |
Create expression.
Definition at line 109 of file lin-expr.hpp.
Gecode::LinExpr::LinExpr | ( | const IntVarArgs & | x | ) | [inline] |
Create sum expression.
Definition at line 120 of file lin-expr.hpp.
Gecode::LinExpr::LinExpr | ( | const IntArgs & | a, | |
const IntVarArgs & | x | |||
) | [inline] |
Create sum expression.
Definition at line 136 of file lin-expr.hpp.
Gecode::LinExpr::LinExpr | ( | const BoolVarArgs & | x | ) | [inline] |
Create sum expression.
Definition at line 154 of file lin-expr.hpp.
Gecode::LinExpr::LinExpr | ( | const IntArgs & | a, | |
const BoolVarArgs & | x | |||
) | [inline] |
Create sum expression.
Definition at line 170 of file lin-expr.hpp.
Gecode::LinExpr::LinExpr | ( | const LinExpr & | e | ) | [inline] |
Copy constructor.
Definition at line 92 of file lin-expr.hpp.
Create expression for type and subexpressions.
Definition at line 188 of file lin-expr.hpp.
Create expression for type and subexpression.
Definition at line 198 of file lin-expr.hpp.
Gecode::LinExpr::LinExpr | ( | int | a, | |
const LinExpr & | e | |||
) | [inline] |
Create expression for multiplication.
Definition at line 209 of file lin-expr.hpp.
Gecode::LinExpr::~LinExpr | ( | void | ) |
Destructor.
Definition at line 69 of file lin-expr.cpp.
Member Function Documentation
Assignment operator.
Definition at line 60 of file lin-expr.cpp.
void Gecode::LinExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
IntConLevel | icl | |||
) | const [inline] |
Post propagator.
Definition at line 230 of file lin-expr.hpp.
void Gecode::LinExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
const BoolVar & | b, | |||
IntConLevel | icl | |||
) | const [inline] |
Post reified propagator.
Definition at line 273 of file lin-expr.hpp.
IntVar Gecode::LinExpr::post | ( | Home | home, | |
IntConLevel | icl | |||
) | const [inline] |
Post propagator and return variable for value.
Definition at line 317 of file lin-expr.hpp.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 10684)
- gecode/minimodel/lin-expr.cpp (Revision: 10262)
- gecode/minimodel/lin-expr.hpp (Revision: 10263)