Gecode::IntVarArray Class Reference
[Variable arrays]
#include <int.hh>
Inherits Gecode::VarArray< Gecode::IntVar >.
Detailed Description
Integer variable array.Definition at line 615 of file int.hh.
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::Int::Limits, an exception of type Gecode::Int::OutOfLimits 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::Int::Limits, an exception of type Gecode::Int::OutOfLimits is thrown.
The documentation for this class was generated from the following files:
- gecode/int.hh (Revision: 7494)
- gecode/int/array.cc (Revision: 6024)
- gecode/int/array.icc (Revision: 5942)