54 for (
int i=s.
size();
i--; )
59 for (
int i=l.
size(); i--; )
63 for (
int i=bs.size(); i--; )
85 if ((n*d != s.
size()) || (m*d != l.
size()) || (d != c.
size()))
87 for (
int i=s.
size();
i--; )
89 for (
int i=c.
size(); i--; )
97 for (
int j=m; j--; ) {
106 for (
int k=d; k--; ) {
128 for (
int i=0; i<n-1; i++) {
129 for (
int j=i+1; j<
n; j++) {
133 while (ii() && jj()) {
134 if (ii.val() < jj.
val()) {
136 }
else if (ii.val() > jj.
val()) {
141 if (s[i*d+k] + s[j*d+k] > c[k]) {
Value iterator for integer variables.
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.
ExecStatus post(void)
Post additional constraints.
Graph containing conflict information.
IntSet maxclique(void) const
Return maximal clique found.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Execution has resulted in failure.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
void edge(int i, int j, bool add=true)
Add or remove an edge between nodes i and j (i must be less than j)
Passing integer variables.
Passing integer arguments.
static const IntSet empty
Empty set.
Integer view for integer variables.
Exception: Arguments contain same variable multiply
int val(void) const
Return current value.
void fail(void)
Mark space as failed.
void binpacking(Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntConLevel)
Post propagator for bin packing.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
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.
bool same(const Space &home) const
Test whether array contains same variable multiply.
bool me_failed(ModEvent me)
Check whether modification event me is failed.