lin-expr.icc File Reference
(Revision: 6315)
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| namespace | Gecode::MiniModel |
Functions | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator+ (int c, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e) |
| Construct linear expression as sum of linear expression and integer. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator+ (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e, int c) |
| Construct linear expression as sum of integer and linear expression. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator+ (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e1, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e2) |
| Construct linear expression as sum of linear expressions. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator- (int c, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e) |
| Construct linear expression as difference of linear expression and integer. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator- (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e, int c) |
| Construct linear expression as difference of integer and linear expression. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator- (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e1, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e2) |
| Construct linear expression as difference of linear expressions. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator- (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e) |
| Construct linear expression as negative of linear expression. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator* (int a, const Gecode::IntVar &x) |
| Construct linear expression as product of integer coefficient and integer variable. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator* (const Gecode::IntVar &x, int a) |
| Construct linear expression as product of integer coefficient and integer variable. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator* (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e, int a) |
| Construct linear expression as product of integer coefficient and linear expression. | |
| Gecode::MiniModel::LinExpr < Gecode::IntVar > | operator* (int a, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &e) |
| Construct linear expression as product of integer coefficient and linear expression. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator+ (int c, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e) |
| Construct linear expression as sum of linear expression and integer. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator+ (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e, int c) |
| Construct linear expression as sum of integer and linear expression. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator+ (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e1, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e2) |
| Construct linear expression as sum of linear expressions. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator- (int c, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e) |
| Construct linear expression as difference of linear expression and integer. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator- (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e, int c) |
| Construct linear expression as difference of integer and linear expression. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator- (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e1, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e2) |
| Construct linear expression as difference of linear expressions. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator- (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e) |
| Construct linear expression as negative of linear expression. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator* (int a, const Gecode::BoolVar &x) |
| Construct linear expression as product of integer coefficient and integer variable. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator* (const Gecode::BoolVar &x, int a) |
| Construct linear expression as product of integer coefficient and integer variable. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator* (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e, int a) |
| Construct linear expression as product of integer coefficient and linear expression. | |
| Gecode::MiniModel::LinExpr < Gecode::BoolVar > | operator* (int a, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &e) |
| Construct linear expression as product of integer coefficient and linear expression. | |
| IntVar | Gecode::post (Space *home, const IntVar &x, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
| Post linear expression (special case for integer variable) and return its value. | |
| IntVar | Gecode::post (Space *home, int n, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
| Post linear expression (special case for constant) and return its value. | |
| template<class Var> | |
| IntVar | Gecode::post (Space *home, const MiniModel::LinExpr< Var > &e, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
| Post linear expression and return its value. | |