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.
struct Gecode::@603::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)
Shared array with arbitrary number of elements.
Argument array for variables.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar x