44 for (
int i=0; i<
size(); i++)
54 for (
int i=0; i<
size(); i++)
60 if ((
min < 0) || (
max > 1))
64 for (
int i=0; i<
size(); i++)
74 for (
int i=0; i<
size(); i++)
84 for (
int i=0; i<
size(); i++)
90 if ((
min < 0) || (
max > 1))
94 for (
int i=0; i<
size(); i++)
int n
Number of negative literals for node type.
int size(void) const
Return size of array (number of elements)
BoolVarArgs(void)
Allocate empty array.
BoolVarArray(void)
Default constructor (array of size 0)
Boolean integer variables.
int min(int i) const
Return minimum of range at position i.
int max(int i) const
Return maximum of range at position i.
unsigned int size(void) const
Return size (cardinality) of set.
IntVarArgs(void)
Allocate empty array.
IntVarArray(void)
Default constructor (array of size 0)
Exception: Not 0/1 integer
Exception: Variable created with empty domain
Argument array for variables.
int size(void) const
Return size of array (number of elements)
IntVar * x
Array of variables.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Gecode toplevel namespace
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 .