50 for (
int i=0;
i<
x.size();
i++)
62 template<
class InputIterator>
78 for (
int i=0;
i<
n;
i++, start+=inc)
107 template<
class InputIterator>
136 template<
class InputIterator>
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
Argument array for non-primitive types.
Passing Boolean variables.
BoolVarArgs(void)
Allocate empty array.
BoolVarArray(void)
Default constructor (array of size 0)
Boolean integer variables.
Passing integer arguments.
static IntArgs create(int n, int start, int inc=1)
Allocate array with n elements such that for all .
IntArgs(void)
Allocate empty array.
Passing integer variables.
IntVarArgs(void)
Allocate empty array.
IntVarArray(void)
Default constructor (array of size 0)
Argument array for variables.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode::IntArgs i({1, 2, 3, 4})