54 for (
int i=
x.size();
i--;)
60 template<
class InputIterator>
74 for (
int i=0;
i<
n;
i++, start+=inc)
static IntArgs create(int n, int start, int inc=1)
Allocate array with n elements such that for all .
IntVarArray(void)
Default constructor (array of size 0)
BoolVarArray(void)
Default constructor (array of size 0)
Argument array for primtive types.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
IntArgs(void)
Allocate empty array.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Passing integer variables.
Passing integer arguments.
Passing Boolean variables.
struct Gecode::@511::NNF::@54::@56 a
For atomic nodes.
Boolean integer variables.
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace