Gecode::BoolVarArray Class Reference
[Variable arrays]
Inherits Gecode::IntVarArray.
Detailed Description
Boolean variable array.
Definition at line 121 of file array.icc.
Creation and initialization | |
BoolVarArray (void) | |
Default constructor (array of size 0). | |
BoolVarArray (Space *home, int n) | |
Allocate array for n Boolean variables (variables are uninitialized). | |
BoolVarArray (const BoolVarArray &a) | |
Initialize from Boolean variable array a (share elements). | |
BoolVarArray (Space *home, int n, int min, int max) | |
Initialize array with n new variables. | |
Array elements | |
BoolVar & | operator[] (int i) |
Return variable at position i. | |
const BoolVar & | operator[] (int i) const |
Return variable at position i. |
Constructor & Destructor Documentation
Gecode::BoolVarArray::BoolVarArray | ( | void | ) | [inline] |
Gecode::BoolVarArray::BoolVarArray | ( | Space * | home, | |
int | n | |||
) | [inline] |
Gecode::BoolVarArray::BoolVarArray | ( | const BoolVarArray & | a | ) | [inline] |
Gecode::BoolVarArray::BoolVarArray | ( | Space * | home, | |
int | n, | |||
int | min, | |||
int | max | |||
) |
Initialize array with n new variables.
The variables are created with a domain ranging from min to max. The following execptions might be thrown:
- If min is greater than max, an exception of type Gecode::Int::VariableEmptyDomain is thrown.
- If min is less than 0 or max is greater than 1, an exception of type Gecode::Int::VariableOutOfDomain is thrown.
Member Function Documentation
BoolVar & Gecode::BoolVarArray::operator[] | ( | int | i | ) | [inline] |
const BoolVar & Gecode::BoolVarArray::operator[] | ( | int | i | ) | const [inline] |
The documentation for this class was generated from the following files:
- gecode/int/array.icc (Revision: 2655)
- gecode/int/array.cc (Revision: 3188)