main page modules namespaces classes files
Gecode home

search for 

Gecode::IntVarArray Class Reference
[Variable arrays]

Inherits Gecode::VarArray< IntVar >.

Inherited by Gecode::BoolVarArray.

List of all members.

---

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]

Default constructor (array of size 0). Definition at line 227 of file array.icc.

Gecode::IntVarArray::IntVarArray (  Space *  home, int  n )  [inline]

Allocate array for n integer variables (variables are uninitialized). Definition at line 230 of file array.icc.

Gecode::IntVarArray::IntVarArray (  const IntVarArray &  a  )  [inline]

Initialize from integer variable array a (share elements). Definition at line 234 of file array.icc.

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. Definition at line 26 of file array.cc.

Gecode::IntVarArray::IntVarArray (  Space *  home, int  n, const IntSet &  s )

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. Definition at line 36 of file array.cc.

---

The documentation for this class was generated from the following files:

• gecode/int/array.icc (Revision: 3512)
• gecode/int/array.cc (Revision: 3188)