mCRL2
Loading...
Searching...
No Matches
atermpp::term_list_iterator< Term > Class Template Reference

Iterator for term_list. More...

#include <aterm_list_iterator.h>

Public Types

typedef Term value_type
 
typedef Term & reference
 
typedef Term * pointer
 
typedef ptrdiff_t difference_type
 
typedef std::forward_iterator_tag iterator_category
 

Public Member Functions

 term_list_iterator ()
 Default constructor.
 
 term_list_iterator (const term_list_iterator &other)
 Copy constructor.
 
term_list_iteratoroperator= (const term_list_iterator &other)
 Assignment.
 
const Term & operator* () const
 Dereference operator on an iterator.
 
const Term * operator-> () const
 Arrow operator on an iterator.
 
term_list_iteratoroperator++ ()
 Prefix increment operator on iterator.
 
term_list_iterator operator++ (int)
 Postfix increment operator on iterator.
 
bool operator== (const term_list_iterator &other) const
 Equality of iterators.
 
bool operator!= (const term_list_iterator &other) const
 Inequality of iterators.
 
bool operator< (const term_list_iterator &other) const
 Comparison of iterators.
 
bool operator<= (const term_list_iterator &other) const
 Comparison of iterators.
 
bool operator> (const term_list_iterator &other) const
 Comparison of iterators.
 
bool operator>= (const term_list_iterator &other) const
 Comparison of iterators.
 

Protected Member Functions

 term_list_iterator (const detail::_aterm *l)
 Constructor from an aterm which must be a list.
 

Protected Attributes

const detail::_aterm_list< Term > * m_list
 

Friends

template<class T >
class term_list
 

Detailed Description

template<typename Term>
class atermpp::term_list_iterator< Term >

Iterator for term_list.

Definition at line 31 of file aterm_list_iterator.h.

Member Typedef Documentation

◆ difference_type

template<typename Term >
typedef ptrdiff_t atermpp::term_list_iterator< Term >::difference_type

Definition at line 52 of file aterm_list_iterator.h.

◆ iterator_category

template<typename Term >
typedef std::forward_iterator_tag atermpp::term_list_iterator< Term >::iterator_category

Definition at line 53 of file aterm_list_iterator.h.

◆ pointer

template<typename Term >
typedef Term* atermpp::term_list_iterator< Term >::pointer

Definition at line 51 of file aterm_list_iterator.h.

◆ reference

template<typename Term >
typedef Term& atermpp::term_list_iterator< Term >::reference

Definition at line 50 of file aterm_list_iterator.h.

◆ value_type

template<typename Term >
typedef Term atermpp::term_list_iterator< Term >::value_type

Definition at line 49 of file aterm_list_iterator.h.

Constructor & Destructor Documentation

◆ term_list_iterator() [1/3]

template<typename Term >
atermpp::term_list_iterator< Term >::term_list_iterator ( const detail::_aterm l)
inlineprotected

Constructor from an aterm which must be a list.

Parameters
lA sequence of terms

Definition at line 41 of file aterm_list_iterator.h.

◆ term_list_iterator() [2/3]

template<typename Term >
atermpp::term_list_iterator< Term >::term_list_iterator ( )
inline

Default constructor.

Definition at line 56 of file aterm_list_iterator.h.

◆ term_list_iterator() [3/3]

template<typename Term >
atermpp::term_list_iterator< Term >::term_list_iterator ( const term_list_iterator< Term > &  other)
inline

Copy constructor.

Parameters
otherA sequence of terms

Definition at line 62 of file aterm_list_iterator.h.

Member Function Documentation

◆ operator!=()

template<typename Term >
bool atermpp::term_list_iterator< Term >::operator!= ( const term_list_iterator< Term > &  other) const
inline

Inequality of iterators.

Parameters
otherThe iterator with which this iterator is compared.
Returns
true if the iterators do not point to the same term_list.

Definition at line 117 of file aterm_list_iterator.h.

◆ operator*()

template<typename Term >
const Term & atermpp::term_list_iterator< Term >::operator* ( ) const
inline

Dereference operator on an iterator.

Definition at line 76 of file aterm_list_iterator.h.

◆ operator++() [1/2]

template<typename Term >
term_list_iterator & atermpp::term_list_iterator< Term >::operator++ ( )
inline

Prefix increment operator on iterator.

Definition at line 90 of file aterm_list_iterator.h.

◆ operator++() [2/2]

template<typename Term >
term_list_iterator atermpp::term_list_iterator< Term >::operator++ ( int  )
inline

Postfix increment operator on iterator.

Definition at line 98 of file aterm_list_iterator.h.

◆ operator->()

template<typename Term >
const Term * atermpp::term_list_iterator< Term >::operator-> ( ) const
inline

Arrow operator on an iterator.

Definition at line 83 of file aterm_list_iterator.h.

◆ operator<()

template<typename Term >
bool atermpp::term_list_iterator< Term >::operator< ( const term_list_iterator< Term > &  other) const
inline

Comparison of iterators.

Parameters
otherThe iterator with which this iterator is compared.
Returns
true if the pointer to this termlist is smaller than the other pointer.

Definition at line 125 of file aterm_list_iterator.h.

◆ operator<=()

template<typename Term >
bool atermpp::term_list_iterator< Term >::operator<= ( const term_list_iterator< Term > &  other) const
inline

Comparison of iterators.

Parameters
otherThe iterator with which this iterator is compared.
Returns
true if the iterators point to the same term_list.

Definition at line 133 of file aterm_list_iterator.h.

◆ operator=()

template<typename Term >
term_list_iterator & atermpp::term_list_iterator< Term >::operator= ( const term_list_iterator< Term > &  other)
inline

Assignment.

Parameters
otherA sequence of terms

Definition at line 69 of file aterm_list_iterator.h.

◆ operator==()

template<typename Term >
bool atermpp::term_list_iterator< Term >::operator== ( const term_list_iterator< Term > &  other) const
inline

Equality of iterators.

Parameters
otherThe iterator with which this iterator is compared.
Returns
true if the iterators point to the same term_list.

Definition at line 109 of file aterm_list_iterator.h.

◆ operator>()

template<typename Term >
bool atermpp::term_list_iterator< Term >::operator> ( const term_list_iterator< Term > &  other) const
inline

Comparison of iterators.

Parameters
otherThe iterator with which this iterator is compared.
Returns
true if the iterators point to the same term_list.

Definition at line 141 of file aterm_list_iterator.h.

◆ operator>=()

template<typename Term >
bool atermpp::term_list_iterator< Term >::operator>= ( const term_list_iterator< Term > &  other) const
inline

Comparison of iterators.

Parameters
otherThe iterator with which this iterator is compared.
Returns
true if the iterators point to the same term_list.

Definition at line 149 of file aterm_list_iterator.h.

Friends And Related Symbol Documentation

◆ term_list

template<typename Term >
template<class T >
friend class term_list
friend

Definition at line 34 of file aterm_list_iterator.h.

Member Data Documentation

◆ m_list

template<typename Term >
const detail::_aterm_list<Term>* atermpp::term_list_iterator< Term >::m_list
protected

Definition at line 37 of file aterm_list_iterator.h.


The documentation for this class was generated from the following file: