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

Gecode::MiniModel::BoolRel Member List

This is the complete list of members for Gecode::MiniModel::BoolRel, including all inherited members.

BoolRel(const BoolExpr &e, bool t)Gecode::MiniModel::BoolRel [inline]
post(Space *home, IntConLevel icl, PropKind pk) const Gecode::MiniModel::BoolRel [inline]