bool-rel.icc File Reference
(Revision: 3513)
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| namespace | Gecode::MiniModel |
Functions | |
| MiniModel::BoolRel | Gecode::tt (const MiniModel::BoolExpr &) |
| State that Boolean expression must be true. | |
| MiniModel::BoolRel | Gecode::ff (const MiniModel::BoolExpr &) |
| State that Boolean expression must be false. | |
| void | Gecode::post (Space *home, const MiniModel::BoolRel &r, IntConLevel icl=ICL_DEF) |
| Post Boolean relation. | |