Generated on Mon Nov 30 23:53:40 2009 for Gecode by doxygen 1.6.1

bool-rel.hpp File Reference

(Revision: 9878)

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.