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: 3512)
- gecode/int/array.cc (Revision: 3188)