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.
int size(void) const
Return number of elements.
Passing integer variables.
Passing integer arguments.
Passing Boolean variables.
Boolean integer variables.
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.