46 for (
int i = 1;
i <
n;
i++)
47 a[
i] = va_arg(args,
int);
57 for (
int i =
size();
i--; )
58 x[
i]._init(home,min,max);
67 for (
int i =
size();
i--; )
73 if ((min < 0) || (max > 1))
77 for (
int i =
size();
i--; )
78 x[
i]._init(home,min,max);
87 for (
int i =
size();
i--; )
88 a[
i]._init(home,min,max);
97 for (
int i =
size();
i--; )
103 if ((min < 0) || (max > 1))
107 for (
int i =
size();
i--; )
108 a[
i]._init(home,min,max);
IntVarArray(void)
Default constructor (array of size 0)
BoolVarArray(void)
Default constructor (array of size 0)
int size(void) const
Return size of array (number of elements)
Argument array for primtive types.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Gecode::IntArgs i(4, 1, 2, 3, 4)
Exception: Variable created with empty domain
int n
Number of negative literals for node type.
IntVarArgs(void)
Allocate empty array.
IntArgs(void)
Allocate empty array.
IntVar * x
Array of variables.
unsigned int size(void) const
Return size (cardinality) of set.
Boolean integer variables.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Exception: Not 0/1 integer
BoolVarArgs(void)
Allocate empty array.
Gecode toplevel namespace
Argument array for variables.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
int size(void) const
Return size of array (number of elements)
int max(int i) const
Return maximum of range at position i.
int min(int i) const
Return minimum of range at position i.