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)
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
FloatVar * x
Array of variables.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Argument array for primtive types.
FloatValArgs(void)
Allocate empty array.
FloatVarArray(void)
Default constructor (array of size 0)
int size(void) const
Return size of array (number of elements)
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
FloatVarArgs(void)
Allocate empty array.
double FloatNum
Floating point number base type.
Argument array for variables.
FloatVal * a
Element array.