44 using namespace Gecode::Set;
45 using namespace Gecode::Set::Rel;
46 using namespace Gecode::Set::RelOp;
bool failed(void) const
Check whether corresponding space is failed.
SetRelType
Common relation types for sets.
void post_nocompl(Home home, ConstSetView x, SetOpType op, SetView y, SetRelType r, ConstSetView z)
SetOpType
Common operations for sets.
Node * x
Pointer to corresponding Boolean expression node.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
void post_compl(Home home, ConstSetView x, SetOpType op, SetView y, ConstSetView z)
Home class for posting propagators