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]