52 for (
int i=s.
size();
i--; )
57 for (
int i=l.
size(); i--; )
61 for (
int i=l.
size(); i--; )
67 for (
int i=bs.size(); i--; )
bool failed(void) const
Check whether corresponding space is failed.
IntConLevel
Consistency levels for integer propagators.
Item combining bin and size information.
int size(void) const
Return size of array (number of elements)
void nonnegative(int n, const char *l)
Check whether n is in range and nonnegative, otherwise throw out of limits with information l...
static ExecStatus post(Home home, ViewArray< OffsetView > &l, ViewArray< Item > &bs)
Post propagator for loads l and items bs.
Gecode::IntArgs i(4, 1, 2, 3, 4)
void quicksort(Type *l, Type *r, Less &less)
Standard quick sort.
struct Gecode::@512::NNF::@54::@55 b
For binary nodes (and, or, eqv)
Passing integer variables.
Passing integer arguments.
Exception: Arguments contain same variable multiply
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
void binpacking(Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntConLevel)
Post propagator for bin packing.
Home class for posting propagators
Exception: Arguments are of different size
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
bool same(const Space &home) const
Test whether array contains same variable multiply.