Gecode::IntVarArray Class Reference
[Variable arrays]

#include <int.hh>

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.

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

Default constructor (array of size 0).

Definition at line 91 of file array.icc.

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

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

Definition at line 94 of file array.icc.

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

Initialize from integer variable array a (share elements).

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

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

Definition at line 52 of file array.cc.

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