|
Namespaces |
| namespace | Gecode |
| namespace | Gecode::MiniModel |
Functions |
| Gecode::MiniModel::LinRel | operator== (int l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear equality relation.
|
| Gecode::MiniModel::LinRel | operator== (const Gecode::MiniModel::LinExpr &l, int r) |
| | Construct linear equality relation.
|
| Gecode::MiniModel::LinRel | operator== (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear equality relation.
|
| Gecode::MiniModel::LinRel | operator!= (int l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear disequality relation.
|
| Gecode::MiniModel::LinRel | operator!= (const Gecode::MiniModel::LinExpr &l, int r) |
| | Construct linear disequality relation.
|
| Gecode::MiniModel::LinRel | operator!= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear disequality relation.
|
| Gecode::MiniModel::LinRel | operator< (int l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator< (const Gecode::MiniModel::LinExpr &l, int r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator< (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator<= (int l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator<= (const Gecode::MiniModel::LinExpr &l, int r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator<= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator> (int l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator> (const Gecode::MiniModel::LinExpr &l, int r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator> (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator>= (int l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator>= (const Gecode::MiniModel::LinExpr &l, int r) |
| | Construct linear inequality relation.
|
| Gecode::MiniModel::LinRel | operator>= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r) |
| | Construct linear inequality relation.
|
| void | Gecode::post (Space *home, const MiniModel::LinRel &r, IntConLevel icl=ICL_DEF) |
| | Post linear relation.
|
| void | Gecode::post (Space *home, bool r, IntConLevel icl=ICL_DEF) |
| | Make it work for special integer only-case.
|