bool-rel.cpp File Reference
(Revision: 10262)
#include <gecode/minimodel.hh>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
Functions | |
BoolRel | Gecode::tt (const BoolExpr &) |
State that Boolean expression must be true. | |
BoolRel | Gecode::ff (const BoolExpr &) |
State that Boolean expression must be false. | |
void | Gecode::post (Home home, const BoolRel &r, IntConLevel icl=ICL_DEF) |
Post Boolean relation. |