Argument array for variables. More...
#include <array.hpp>
Classes | |
class | VarLess |
Sort order for variables. More... |
Public Member Functions | |
bool | assigned (void) const |
Test if all variables are assigned. | |
![]() | |
ArgArrayBase (void) | |
Allocate empty array. | |
ArgArrayBase (int n) | |
Allocate array with n elements. | |
ArgArrayBase (const ArgArrayBase< Var > &a) | |
Initialize from argument array a (copy elements) | |
const ArgArrayBase< Var > & | operator= (const ArgArrayBase< Var > &a) |
Initialize from view array a (copy elements) | |
int | size (void) const |
Return size of array (number of elements) | |
Var & | operator[] (int i) |
Return element at position i. | |
const Var & | operator[] (int i) const |
Return element at position i. | |
iterator | begin (void) |
Return an iterator at the beginning of the array. | |
const_iterator | begin (void) const |
Return a read-only iterator at the beginning of the array. | |
iterator | end (void) |
Return an iterator past the end of the array. | |
const_iterator | end (void) const |
Return a read-only iterator past the end of the array. | |
reverse_iterator | rbegin (void) |
Return a reverse iterator at the end of the array. | |
const_reverse_iterator | rbegin (void) const |
Return a reverse and read-only iterator at the end of the array. | |
reverse_iterator | rend (void) |
Return a reverse iterator past the beginning of the array. | |
const_reverse_iterator | rend (void) const |
Return a reverse and read-only iterator past the beginning of the array. | |
~ArgArrayBase (void) | |
Destructor. |
Friends | |
ArrayTraits< VarArgArray< Var > >::ArgsType | operator+ (const VarArgArray< Var > &x, const VarArgArray< Var > &y) |
ArrayTraits< VarArgArray< Var > >::ArgsType | operator+ (const VarArgArray< Var > &x, const Var &y) |
ArrayTraits< VarArgArray< Var > >::ArgsType | operator+ (const Var &x, const VarArgArray< Var > &y) |
Constructors and initialization | |
VarArgArray (void) | |
Allocate empty array. | |
VarArgArray (int n) | |
Allocate array with n elements. | |
VarArgArray (const VarArgArray< Var > &a) | |
Initialize from variable argument array a (copy elements) | |
VarArgArray (const VarArray< Var > &a) | |
Initialize from variable array a (copy elements) |
Array elements | |
ArrayTraits< VarArgArray< Var > >::ArgsType | slice (int start, int inc=1, int n=-1) |
Return slice ![]() ![]() ![]() |
Appending elements | |
ArrayTraits< VarArgArray< Var > >::ArgsType & | operator<< (const Var &x) |
Insert a new element x at the end of the array (increase size by 1) | |
ArrayTraits< VarArgArray< Var > >::ArgsType & | operator<< (const VarArgArray< Var > &x) |
Append x to the end of the array. |
Variable equality | |
bool | same (const Space &home) const |
Test whether array contains same variable multiply. | |
bool | same (const Space &home, const Var &y) const |
Test whether array contains variable y. | |
bool | same (const Space &home, const VarArgArray< Var > &y) const |
Test whether all elements from array and y contains same variable multiply. |
Additional Inherited Members | |
![]() | |
typedef Var | value_type |
Type of the view stored in this array. | |
typedef Var & | reference |
Type of a reference to the value type. | |
typedef const Var & | const_reference |
Type of a constant reference to the value type. | |
typedef Var * | pointer |
Type of a pointer to the value type. | |
typedef const Var * | const_pointer |
Type of a read-only pointer to the value type. | |
typedef Var * | iterator |
Type of the iterator used to iterate through this array's elements. | |
typedef const Var * | const_iterator |
Type of the iterator used to iterate read-only through this array's elements. | |
typedef std::reverse_iterator < Var * > | reverse_iterator |
Type of the iterator used to iterate backwards through this array's elements. | |
typedef std::reverse_iterator < const Var * > | const_reverse_iterator |
Type of the iterator used to iterate backwards and read-only through this array's elements. | |
![]() | |
Var * | allocate (int n) |
Allocate memory for n elements. | |
void | resize (int i) |
Resize to hold at least i additional elements. | |
A | concat (const ArgArrayBase< Var > &x) const |
Return this array concatenated with x. | |
A | concat (const Var &x) const |
Return this array concatenated with x. | |
A & | append (const Var &x) |
Insert a new element x at the end of the array (increase size by 1) | |
A & | append (const ArgArrayBase< Var > &x) |
Append x to the end of the array. | |
![]() | |
int | n |
Number of elements. | |
int | capacity |
Allocated size of the array. | |
Var * | a |
Element array. | |
Var | onstack [onstack_size] |
In-array storage for elements. | |
![]() | |
static const int | onstack_size |
How many elements are possible inside array. |
Argument array for variables.
Argument arrays are used as convenient mechanism of passing arguments when calling functions as they combine both the size and the elements of an array. For a small number of elements, memory is allocated by creating an argument array object. Otherwise the memory is allocated from the heap.
|
inline |
|
inlineexplicit |
|
inline |
|
inline |
|
inline |
Return slice of length n such that forall
,
.
Reimplemented from Gecode::ArgArrayBase< Var >.
|
inline |
|
inline |
|
inline |
bool Gecode::VarArgArray< Var >::same | ( | const Space & | home | ) | const |
bool Gecode::VarArgArray< Var >::same | ( | const Space & | home, |
const Var & | y | ||
) | const |
bool Gecode::VarArgArray< Var >::same | ( | const Space & | home, |
const VarArgArray< Var > & | y | ||
) | const |
|
friend |
|
friend |
|
friend |