bool failed(void) const
Check whether corresponding space is failed.
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l...
int size(void) const
Return size of array (number of elements)
void atmostOne(Home home, const SetVarArgs &xa, unsigned int c)
Post propagator for and .
Gecode::FloatVal c(-8, 8)
static ExecStatus post(Home home, ViewArray< SetView > x, unsigned int c)
Post propagator for and .
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.