Gecode::IntVarArgs Class Reference

Passing integer variables. More...

#include <int.hh>

Constructors and initialization
	IntVarArgs (void)
	Allocate empty array. More...
	IntVarArgs (int n)
	Allocate array with n elements. More...
	IntVarArgs (const IntVarArgs &a)
	Initialize from variable argument array a (copy elements) More...
	IntVarArgs (const VarArray< IntVar > &a)
	Initialize from variable array a (copy elements) More...
	IntVarArgs (const std::vector< IntVar > &a)
	Initialize from a. More...
	IntVarArgs (std::initializer_list< IntVar > a)
	Initialize from a. More...
template<class InputIterator >
	IntVarArgs (InputIterator first, InputIterator last)
	Initialize from InputIterator first and last. More...
	IntVarArgs (Space &home, int n, int min, int max)
	Initialize array with n new variables. More...
	IntVarArgs (Space &home, int n, const IntSet &s)
	Initialize array with n new variables. More...

Additional Inherited Members
Public Member Functions inherited from Gecode::VarArgArray< IntVar >
	VarArgArray (void)
	Allocate empty array. More...
	VarArgArray (int n)
	Allocate array with n elements. More...
	VarArgArray (const VarArgArray< IntVar > &a)
	Initialize from variable argument array a (copy elements) More...
	VarArgArray (const VarArray< IntVar > &a)
	Initialize from variable array a (copy elements) More...
	VarArgArray (const std::vector< IntVar > &a)
	Initialize from vector a. More...
	VarArgArray (std::initializer_list< IntVar > a)
	Initialize from initializer list a. More...
	VarArgArray (InputIterator first, InputIterator last)
	Initialize from InputIterator first and last. More...
ArrayTraits< VarArgArray< IntVar > >::ArgsType	slice (int start, int inc=1, int n=-1)
	Return slice of length n such that forall , . More...
ArrayTraits< VarArgArray< IntVar > >::ArgsType &	operator<< (const IntVar &x)
	Insert a new element x at the end of the array (increase size by 1) More...
ArrayTraits< VarArgArray< IntVar > >::ArgsType &	operator<< (const VarArgArray< IntVar > &x)
	Append x to the end of the array. More...
bool	assigned (void) const
	Test if all variables are assigned. More...
Related Functions inherited from Gecode::VarArgArray< IntVar >
bool	same (VarArgArray< IntVar > x, VarArgArray< IntVar > y)
	Test whether array x together with array y contains at least one variable being the same. More...
bool	same (VarArgArray< IntVar > x, IntVar y)
	Test whether array x contains variable y. More...
bool	same (IntVar x, VarArgArray< IntVar > y)
	Test whether array y contains variable x. More...
bool	same (VarArgArray< IntVar > x)
	Test whether array x contains a variable multiply. More...

Detailed Description

Passing integer variables.

Definition at line 656 of file int.hh.

Constructor & Destructor Documentation

IntVarArgs() [1/9]

Gecode::IntVarArgs::IntVarArgs ( void  )

inline

Allocate empty array.

Definition at line 85 of file array.hpp.

IntVarArgs() [2/9]

Gecode::IntVarArgs::IntVarArgs ( int  n )

inlineexplicit

Allocate array with n elements.

Definition at line 88 of file array.hpp.

IntVarArgs() [3/9]

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

inline

Initialize from variable argument array a (copy elements)

Definition at line 92 of file array.hpp.

IntVarArgs() [4/9]

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

inline

Initialize from variable array a (copy elements)

Definition at line 96 of file array.hpp.

IntVarArgs() [5/9]

Gecode::IntVarArgs::IntVarArgs ( const std::vector< IntVar > &  a )

inline

Initialize from a.

Definition at line 100 of file array.hpp.

IntVarArgs() [6/9]

Gecode::IntVarArgs::IntVarArgs ( std::initializer_list< IntVar >  a )

inline

Initialize from a.

Definition at line 104 of file array.hpp.

IntVarArgs() [7/9]

template<class InputIterator >

Gecode::IntVarArgs::IntVarArgs ( InputIterator  first, InputIterator  last  )

inline

Initialize from InputIterator first and last.

Definition at line 109 of file array.hpp.

IntVarArgs() [8/9]

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 68 of file array.cpp.

IntVarArgs() [9/9]

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 78 of file array.cpp.

---

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

• gecode/int.hh
• gecode/int/array.cpp
• gecode/int/array.hpp