|
typedef FloatVar | value_type |
| Type of the view stored in this array.
|
typedef FloatVar & | reference |
| Type of a reference to the value type.
|
typedef const FloatVar & | const_reference |
| Type of a constant reference to the value type.
|
typedef FloatVar * | pointer |
| Type of a pointer to the value type.
|
typedef const FloatVar * | const_pointer |
| Type of a read-only pointer to the value type.
|
typedef FloatVar * | iterator |
| Type of the iterator used to iterate through this array's elements.
|
typedef const FloatVar * | const_iterator |
| Type of the iterator used to iterate read-only through this array's elements.
|
typedef std::reverse_iterator< FloatVar * > | reverse_iterator |
| Type of the iterator used to iterate backwards through this array's elements.
|
typedef std::reverse_iterator< const FloatVar * > | 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< FloatVar > >::ArgsType | slice (int start, int inc=1, int n=-1) |
| Return slice of length n such that forall , .
|
ArrayTraits< VarArgArray< FloatVar > >::ArgsType & | operator<< (const FloatVar &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.
|
VarArgArray & | operator= (const VarArgArray &)=default |
| Assignment operator.
|
| ArgArrayBase (void) |
| Allocate empty array.
|
const ArgArrayBase< FloatVar > & | operator= (const ArgArrayBase< FloatVar > &a) |
| Initialize from view array a (copy elements)
|
int | size (void) const |
| Return size of array (number of elements)
|
FloatVar & | 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.
|
FloatVar * | allocate (int n) |
| Allocate memory for n elements.
|
void | resize (int i) |
| Resize to hold at least i additional elements.
|
A | concat (const ArgArrayBase< FloatVar > &x) const |
| Return this array concatenated with x.
|
A & | append (const FloatVar &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) |
int | n |
| Number of elements.
|
int | capacity |
| Allocated size of the array.
|
FloatVar * | a |
| Element array.
|
FloatVar | onstack [onstack_size] |
| In-array storage for elements.
|
static const int | onstack_size |
| How many elements are possible inside array.
|
bool | same (VarArgArray< FloatVar > x, VarArgArray< FloatVar > y) |
| Test whether array x together with array y contains at least one variable being the same.
|
bool | same (VarArgArray< FloatVar > x, FloatVar y) |
| Test whether array x contains variable y.
|
bool | same (FloatVar x, VarArgArray< FloatVar > y) |
| Test whether array y contains variable x.
|
bool | same (VarArgArray< FloatVar > x) |
| Test whether array x contains a variable multiply.
|
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ArgArrayBase< FloatVar > &x) |
| Print array elements enclosed in curly brackets.
|
Passing float variables.
Definition at line 982 of file float.hh.