64 for (
int i=c.
size();
i--; )
68 for (
int i=c.
size()-1; i--; ) {
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)
Gecode::FloatVal c(-8, 8)
Gecode::IntArgs i(4, 1, 2, 3, 4)
void precede(Home home, const IntVarArgs &x, int s, int t, IntConLevel)
Post propagator that s precedes t in x.
Passing integer arguments.
Node * x
Pointer to corresponding Boolean expression node.
Single value precedence propagator.
Gecode toplevel namespace
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.