Generated on Wed Mar 19 07:30:05 2008 for Gecode by doxygen 1.5.5

bool-rel.icc File Reference

(Revision: 6264)

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, PropKind pk=PK_DEF)
 Post Boolean relation.