50 for (
int i=s.
size();
i--; )
55 for (
int i=l.
size(); i--; )
59 for (
int i=bs.size(); i--; )
81 if ((n*d != s.
size()) || (m*d != l.
size()) || (d != c.
size()))
83 for (
int i=s.
size();
i--; )
85 for (
int i=c.
size(); i--; )
95 for (
int j=m; j--; ) {
104 for (
int k=d; k--; ) {
126 for (
int i=0; i<n-1; i++) {
127 for (
int j=i+1; j<
n; j++) {
131 while (ii() && jj()) {
132 if (ii.val() < jj.
val()) {
134 }
else if (ii.val() > jj.
val()) {
139 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)
bool same(void) const
Test whether array contains same variable multiply.
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.
Post propagator for SetVar SetOpType SetVar SetRelType r
IntPropLevel
Propagation levels for integer propagators.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
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
#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.