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)
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
IntVar * x
Array of variables.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Exception: Variable created with empty domain
int n
Number of negative literals for node type.
Argument array for primtive types.
IntVarArgs(void)
Allocate empty array.
IntArgs(void)
Allocate empty array.
unsigned int size(void) const
Return size (cardinality) of set.
int size(void) const
Return size of array (number of elements)
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
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Argument array for variables.
int max(int i) const
Return maximum of range at position i.
int min(int i) const
Return minimum of range at position i.