47 for (
int i=0;
i<
n;
i++, start+=inc)
58 for (
int i =
size();
i--; )
59 x[
i]._init(home,min,max);
68 for (
int i =
size();
i--; )
69 a[
i]._init(home,min,max);
int size(void) const
Return size of array (number of elements)
int size(void) const
Return size of array (number of elements)
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
FloatVar * x
Array of variables.
static FloatValArgs create(int n, FloatVal start, int inc=1)
Allocate array with n elements such that for all .
FloatVarArray(void)
Default constructor (array of size 0)
int n
Number of variables (size)
void check(const FloatVal &n, const char *l)
Check whether float n is a valid number, otherwise throw out of limits exception with information l...
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Exception: Variable created with empty domain
Gecode toplevel namespace
Argument array for variables.
FloatVarArgs(void)
Allocate empty array.
double FloatNum
Floating point number base type.
FloatVar * a
Element array.