Gecode::IntVarArgs Class Reference

Passing integer variables. More...

#include <int.hh>

Constructors and initialization
	IntVarArgs (void)
	Allocate empty array.
	IntVarArgs (int n)
	Allocate array with n elements.
	IntVarArgs (const IntVarArgs &a)
	Initialize from variable argument array a (copy elements)
	IntVarArgs (const VarArray< IntVar > &a)
	Initialize from variable array a (copy elements)
	IntVarArgs (Space &home, int n, int min, int max)
	Initialize array with n new variables.
	IntVarArgs (Space &home, int n, const IntSet &s)
	Initialize array with n new variables.

Additional Inherited Members
Public Types inherited from Gecode::ArgArrayBase< IntVar >
typedef IntVar	value_type
	Type of the view stored in this array.
typedef IntVar &	reference
	Type of a reference to the value type.
typedef const IntVar &	const_reference
	Type of a constant reference to the value type.
typedef IntVar *	pointer
	Type of a pointer to the value type.
typedef const IntVar *	const_pointer
	Type of a read-only pointer to the value type.
typedef IntVar *	iterator
	Type of the iterator used to iterate through this array's elements.
typedef const IntVar *	const_iterator
	Type of the iterator used to iterate read-only through this array's elements.
typedef std::reverse_iterator < IntVar * >	reverse_iterator
	Type of the iterator used to iterate backwards through this array's elements.
typedef std::reverse_iterator < const IntVar * >	const_reverse_iterator
	Type of the iterator used to iterate backwards and read-only through this array's elements.
Public Member Functions inherited from Gecode::VarArgArray< IntVar >
bool	assigned (void) const
	Test if all variables are assigned.
	VarArgArray (void)
	Allocate empty array.
	VarArgArray (int n)
	Allocate array with n elements.
	VarArgArray (const VarArgArray< IntVar > &a)
	Initialize from variable argument array a (copy elements)
	VarArgArray (const VarArray< IntVar > &a)
	Initialize from variable array a (copy elements)
ArrayTraits< VarArgArray < IntVar > >::ArgsType	slice (int start, int inc=1, int n=-1)
	Return slice of length n such that forall , .
ArrayTraits< VarArgArray < IntVar > >::ArgsType &	operator<< (const IntVar &x)
	Insert a new element x at the end of the array (increase size by 1)
ArrayTraits< VarArgArray < IntVar > >::ArgsType &	operator<< (const VarArgArray< IntVar > &x)
	Append x to the end of the array.
bool	same (const Space &home) const
	Test whether array contains same variable multiply.
bool	same (const Space &home, const IntVar &y) const
	Test whether array contains variable y.
bool	same (const Space &home, const VarArgArray< IntVar > &y) const
	Test whether all elements from array and y contains same variable multiply.
Protected Member Functions inherited from Gecode::ArgArrayBase< IntVar >
IntVar *	allocate (int n)
	Allocate memory for n elements.
void	resize (int i)
	Resize to hold at least i additional elements.
A	concat (const ArgArrayBase< IntVar > &x) const
	Return this array concatenated with x.
A	concat (const IntVar &x) const
	Return this array concatenated with x.
A &	append (const IntVar &x)
	Insert a new element x at the end of the array (increase size by 1)
A &	append (const ArgArrayBase< IntVar > &x)
	Append x to the end of the array.
Protected Attributes inherited from Gecode::ArgArrayBase< IntVar >
int	n
	Number of elements.
int	capacity
	Allocated size of the array.
IntVar *	a
	Element array.
IntVar	onstack [onstack_size]
	In-array storage for elements.
Static Protected Attributes inherited from Gecode::ArgArrayBase< IntVar >
static const int	onstack_size
	How many elements are possible inside array.

Detailed Description

Passing integer variables.

Definition at line 618 of file int.hh.

Constructor & Destructor Documentation

Gecode::IntVarArgs::IntVarArgs ( void  )

inline

Allocate empty array.

Definition at line 623 of file int.hh.

Gecode::IntVarArgs::IntVarArgs ( int  n )

inlineexplicit

Allocate array with n elements.

Definition at line 625 of file int.hh.

Gecode::IntVarArgs::IntVarArgs ( const IntVarArgs &  a )

inline

Initialize from variable argument array a (copy elements)

Definition at line 627 of file int.hh.

Gecode::IntVarArgs::IntVarArgs ( const VarArray< IntVar > &  a )

inline

Initialize from variable array a (copy elements)

Definition at line 629 of file int.hh.

Gecode::IntVarArgs::IntVarArgs	(	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 81 of file array.cpp.

Gecode::IntVarArgs::IntVarArgs	(	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 91 of file array.cpp.

---

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

• gecode/int.hh (Revision: 12537)
• gecode/int/array.cpp (Revision: 11440)