Gecode::IntVarArray Class Reference
[Variable arrays]

Integer variable array. More...

#include <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, const IntVarArgs &a)
	Initialize from integer variable argument array a (copy 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.

Detailed Description

Integer variable array.

Definition at line 763 of file int.hh.

Gecode::IntVarArray::IntVarArray ( void ) [inline]

Default constructor (array of size 0).

Definition at line 143 of file array.hpp.

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

Allocate array for n integer variables (variables are uninitialized).

Definition at line 146 of file array.hpp.

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

Initialize from integer variable array a (share elements).

Definition at line 150 of file array.hpp.

Gecode::IntVarArray::IntVarArray	(	Space &	home,
		const IntVarArgs &	a
	)			`[inline]`

Initialize from integer variable argument array a (copy elements).

Definition at line 154 of file array.hpp.

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.

Definition at line 38 of file array.cpp.

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::Int::Limits, an exception of type Gecode::Int::OutOfLimits is thrown.

Definition at line 48 of file array.cpp.

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