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.
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.
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 .