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--; )
99 for (
int j=m; j--; ) {
108 for (
int k=d; k--; ) {
130 for (
int i=0; i<n-1; i++) {
131 for (
int j=i+1; j<
n; j++) {
135 while (ii() && jj()) {
136 if (ii.val() < jj.
val()) {
138 }
else if (ii.val() > jj.
val()) {
143 if (s[i*d+k] + s[j*d+k] > c[k]) {
Value iterator for integer variables.
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...
void binpacking(Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntPropLevel)
Post propagator for bin packing.
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.
Class to set group information when a post function is executed.
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.
IntPropLevel
Propagation levels for integer propagators.
IntSet maxclique(void) const
Return maximal clique found.
Integer view for integer variables.
Exception: Arguments contain same variable multiply
void fail(void)
Mark space as failed.
Gecode toplevel namespace
struct Gecode::@554::NNF::@60::@61 b
For binary nodes (and, or, eqv)
#define GECODE_POST
Check for failure in a constraint post function.
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.