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 711 of file int.hh.

Constructor & Destructor Documentation

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

Default constructor (array of size 0)

Definition at line 79 of file array.hpp.

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

Allocate array for n integer variables (variables are uninitialized)

Definition at line 82 of file array.hpp.

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

Initialize from integer variable array a (share elements)

Definition at line 86 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 90 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 51 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 61 of file array.cpp.

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