48 for (
int i = 1;
i <
n;
i++)
59 for (
int i =
size();
i--; )
60 x[
i]._init(home,min,max);
69 for (
int i =
size();
i--; )
70 a[
i]._init(home,min,max);
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)
int n
Number of negative literals for node type.
FloatVar * x
Array of variables.
FloatValArgs(void)
Allocate empty array.
FloatVarArray(void)
Default constructor (array of size 0)
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.
int size(void) const
Return size of array (number of elements)
double FloatNum
Floating point number base type.
FloatVal * a
Element array.