Gecode::IntVarArray Class Reference
[Variable arrays]
Inherits Gecode::VarArray< Var >< Gecode::IntVar >.
Inherited by Gecode::BoolVarArray.
Detailed Description
Integer variable array.
Definition at line 79 of file array.icc.
Creation and initialization | |
IntVarArray (void) | |
Default constructor (array of size 0). | |
IntVarArray (Space *home, int n) | |
Allocate array for n integer variables (variables are uninitialized). | |
IntVarArray (const IntVarArray &a) | |
Initialize from integer variable array a (share elements). | |
IntVarArray (Space *home, int n, int min, int max) | |
Initialize array with n new variables. | |
IntVarArray (Space *home, int n, const IntSet &s) | |
Initialize array with n new variables. |
Constructor & Destructor Documentation
Gecode::IntVarArray::IntVarArray | ( | void | ) | [inline] |
Gecode::IntVarArray::IntVarArray | ( | Space * | home, | |
int | n | |||
) | [inline] |
Gecode::IntVarArray::IntVarArray | ( | const IntVarArray & | a | ) | [inline] |
Gecode::IntVarArray::IntVarArray | ( | 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 or max exceed the limits for integers as defined in Gecode::Limits::Int, an exception of type Gecode::Int::VariableOutOfDomain is thrown.
Initialize array with n new variables.
The variables are created with a domain described by s. The following execptions might be thrown:
- If s is empty, an exception of type Gecode::Int::VariableEmptyDomain is thrown.
- If s contains values that exceed the limits for integers as defined in Gecode::Limits::Int, an exception of type Gecode::Int::VariableOutOfDomain is thrown.
The documentation for this class was generated from the following files:
- gecode/int/array.icc (Revision: 3512)
- gecode/int/array.cc (Revision: 3188)