![]() |
genspect::aterm_list_iterator —
class aterm_list_iterator { public: // construct/copy/destruct aterm_list_iterator(); aterm_list_iterator(ATermList); // public member functions // private member functions const aterm dereference() const; bool equal(aterm_list_iterator const &) const; void increment(); };
const aterm dereference() const;
bool equal(aterm_list_iterator const & other) const;
void increment();
Copyright © 2004 Wieger Wesselink |