46 s.init(&i[0],i.
size());
int size(void) const
Return size of array (number of elements)
Gecode::IntArgs i(4, 1, 2, 3, 4)
Integer set initialization.
Passing integer arguments.
Gecode toplevel namespace
static void init(IntSet &s, const IntArgs &i)