|
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.
|
|
| 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)
|
|
| VarArgArray (const std::vector< IntVar > &a) |
| Initialize from vector a.
|
|
| VarArgArray (std::initializer_list< IntVar > a) |
| Initialize from initializer list a.
|
|
| VarArgArray (InputIterator first, InputIterator last) |
| Initialize from InputIterator first and last.
|
|
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 | 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< IntVar > &a) |
| Initialize from argument array a (copy elements)
|
|
| ArgArrayBase (const std::vector< IntVar > &a) |
| Initialize from vector a.
|
|
| ArgArrayBase (std::initializer_list< IntVar > a) |
| Initialize from initializer list a.
|
|
| ArgArrayBase (InputIterator first, InputIterator last) |
| Initialize from InputIterator begin and end.
|
|
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.
|
|
const IntVar & | 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.
|
|
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.
|
|
A | slice (int start, int inc=1, int n=-1) |
|
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 const int | onstack_size |
| How many elements are possible inside array.
|
|
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.
|
|
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ArgArrayBase< IntVar > &x) |
| Print array elements enclosed in curly brackets.
|
|
Passing integer variables.
Definition at line 656 of file int.hh.