Generated on Mon May 10 06:46:49 2010 for Gecode by doxygen 1.6.3

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.