50 if (
b.size() != s.
size())
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--; )
IntConLevel
Consistency levels for integer propagators.
int size(void) const
Return size of array (number of elements)
Item combining bin and size information.
struct Gecode::@511::NNF::@54::@55 b
For binary nodes (and, or, eqv)
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.
bool failed(void) const
Check whether corresponding space is failed.
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.
Gecode toplevel namespace
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.