52 if (
b.size() != s.
size())
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.
Class to set group information when a post function is executed.
bool failed(void) const
Check whether corresponding space is failed.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
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.
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.