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 (const std::vector< IntVar > &a)
| Initialize from a.
| IntVarArgs (std::initializer_list< IntVar > a)
| Initialize from a.
template<class InputIterator>
| IntVarArgs (InputIterator first, InputIterator last)
| Initialize from InputIterator first and last.
| 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

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.
| VarArgArray (void)
| Allocate empty array.
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).
bool | assigned (void) const
| Test if all variables are assigned.
| ArgArrayBase (void)
| Allocate empty array.
const ArgArrayBase< IntVar > & | operator= (const ArgArrayBase< IntVar > &a)
| Initialize from view array a (copy elements).
int | size (void) const
| Return size of array (number of elements).
IntVar & | operator[] (int i)
| Return element at position i.
iterator | begin (void)
| Return an iterator at the beginning of the array.
iterator | end (void)
| Return an iterator past the end of the array.
reverse_iterator | rbegin (void)
| Return a reverse iterator at the end of the array.
reverse_iterator | rend (void)
| Return a reverse iterator past the beginning of the array.
| ~ArgArrayBase (void)
| Destructor.
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 & | append (const IntVar &x)
| Insert a new element x at the end of the array (increase size by 1).
A | slice (int start, int inc=1, int n=-1)
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.
Related Symbols 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.
bool | same (VarArgArray< IntVar > x, IntVar y)
| Test whether array x contains variable y.
bool | same (IntVar x, VarArgArray< IntVar > y)
| Test whether array y contains variable x.
bool | same (VarArgArray< IntVar > x)
| Test whether array x contains a variable multiply.
Related Symbols inherited from Gecode::ArgArrayBase< IntVar >
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ArgArrayBase< IntVar > &x)
| Print array elements enclosed in curly brackets.

## 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 | ) |

inline explicit

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