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) const | Gecode::MiniModel::BoolRel | [inline] |