43 for (
int i=0; i<
n; i++, start+=inc)
54 for (
int i =
size(); i--; )
64 for (
int i =
size(); i--; )
int n
Number of negative literals for node type.
int size(void) const
Return size of array (number of elements)
static FloatValArgs create(int n, FloatVal start, int inc=1)
Allocate array with n elements such that for all .
FloatVarArgs(void)
Allocate empty array.
FloatVarArray(void)
Default constructor (array of size 0)
Exception: Variable created with empty domain
Argument array for variables.
int size(void) const
Return size of array (number of elements)
FloatVar * x
Array of variables.
double FloatNum
Floating point number base type.
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.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .