|
typedef IntVar | value_type |
| Type of the variable 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.
|
|
| VarArray (void) |
| Default constructor (array of size 0)
|
|
| VarArray (Space &home, int m) |
| Allocate array with m variables.
|
|
| VarArray (Space &home, const VarArgArray< IntVar > &) |
| Initialize from variable argument array a (copy elements)
|
|
| VarArray (const VarArray< IntVar > &a) |
| Initialize from variable array a (share elements)
|
|
const VarArray< IntVar > & | operator= (const VarArray< IntVar > &a) |
| Initialize from variable array a (share elements)
|
|
int | size (void) const |
| Return size of array (number of elements)
|
|
IntVar & | operator[] (int i) |
| Return variable at position i.
|
|
const IntVar & | operator[] (int i) const |
| Return variable at position i.
|
|
ArrayTraits< VarArgArray< IntVar > >::ArgsType | slice (int start, int inc=1, int n=-1) |
|
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.
|
|
bool | assigned (void) const |
| Test if all variables are assigned.
|
|
void | update (Space &home, VarArray< IntVar > &a) |
| Update array to be a clone of array a.
|
|
int | n |
| Number of variables (size)
|
|
IntVar * | x |
| Array of variables.
|
|
ArrayTraits< VarArray< T > >::ArgsType | operator+ (const VarArray< T > &x, const VarArgArray< T > &y) |
|
ArrayTraits< VarArray< T > >::ArgsType | operator+ (const VarArray< T > &x, const VarArray< T > &y) |
|
ArrayTraits< VarArray< T > >::ArgsType | operator+ (const VarArgArray< T > &x, const VarArray< T > &y) |
|
ArrayTraits< VarArray< T > >::ArgsType | operator+ (const VarArray< T > &x, const T &y) |
|
ArrayTraits< VarArray< T > >::ArgsType | operator+ (const T &x, const VarArray< T > &y) |
|
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const VarArray< IntVar > &x) |
| Print array elements enclosed in curly brackets.
|
|
Integer variable array.
Definition at line 763 of file int.hh.