60 if ((
min < 0) || (
max > 1))
90 if ((
min < 0) || (
max > 1))
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.
const FloatNum max
Largest allowed float value.
const FloatNum min
Smallest allowed float value.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Gecode::IntArgs i({1, 2, 3, 4})