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