Gecode::BoolRel Class Reference
Boolean relations. More...
#include <minimodel.hh>
Public Member Functions | |
BoolRel (const BoolExpr &e, bool t) | |
Constructor. | |
void | post (Home home, IntConLevel icl) const |
Post propagators for relation. |
Detailed Description
Boolean relations.
Definition at line 765 of file minimodel.hh.
Constructor & Destructor Documentation
Gecode::BoolRel::BoolRel | ( | const BoolExpr & | e, | |
bool | t | |||
) | [inline] |
Constructor.
Definition at line 45 of file bool-rel.hpp.
Member Function Documentation
void Gecode::BoolRel::post | ( | Home | home, | |
IntConLevel | icl | |||
) | const [inline] |
Post propagators for relation.
Definition at line 49 of file bool-rel.hpp.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 10684)
- gecode/minimodel/bool-rel.hpp (Revision: 10262)