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.
IntConLevel
Consistency levels for integer propagators.
int size(void) const
Return size of array (number of elements)
Item combining bin and size information.
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.
int val(void) const
Return current value.
ExecStatus post(void)
Post additional constraints.
Graph containing conflict information.
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.
bool failed(void) const
Check whether corresponding space is failed.
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.
IntSet maxclique(void) const
Return maximal clique found.
Integer view for integer variables.
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)
Exception: Arguments contain same variable multiply
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.
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 me_failed(ModEvent me)
Check whether modification event me is failed.
bool same(const Space &home) const
Test whether array contains same variable multiply.