![]() |
genspect::aterm_list —
class aterm_list : public genspect::aterm { public: // types typedef aterm value_type; typedef aterm * pointer; typedef aterm & reference; typedef const aterm const_reference; typedef size_t size_type; typedef ptrdiff_t difference_type; typedef aterm_list_iterator iterator; typedef aterm_list_iterator const_iterator; // construct/copy/destruct aterm_list(); aterm_list(ATermList); template<typename Iter> aterm_list(Iter, Iter); // public member functions const_iterator begin() const; const_iterator end() const; size_type size(); size_type max_size(); bool empty() const; void swap(aterm_list &); aterm front() const; const_iterator previous(const_iterator) const; void clear(); operator ATermList() const; ATermList list() const; };
const_iterator begin() const;
Returns an iterator pointing to the end of the aterm_list.
const_iterator end() const;
Returns a const_iterator pointing to the beginning of the aterm_list.
size_type size();
Returns the size of the aterm_list.
size_type max_size();
Returns the largest possible size of the aterm_list.
bool empty() const;
true if the list's size is 0.
void swap(aterm_list & l);
Swaps the contents of two aterm_lists.
aterm front() const;
Returns the first element.
const_iterator previous(const_iterator pos) const;
pos must be a valid iterator in *this. The return value is an iterator prev such that ++prev == pos. Complexity: linear in the number of iterators in the range [begin(), pos).
void clear();
Erases all of the elements.
operator ATermList() const;
Conversion to ATermList.
ATermList list() const;
Returns the ATermList that is contained by the aterm_list.
Copyright © 2004 Wieger Wesselink |