Z3
Public Member Functions
ast_vector_tpl< T >::iterator Class Reference

Public Member Functions

 iterator (ast_vector_tpl const *v, unsigned i)
 
 iterator (iterator &other)
 
iterator operator= (iterator const &other)
 
bool operator== (iterator const &other)
 
bool operator!= (iterator const &other)
 
iteratoroperator++ ()
 
iterator operator++ (int)
 
T * operator-> () const
 
operator * () const
 

Detailed Description

template<typename T>
class z3::ast_vector_tpl< T >::iterator

Definition at line 1731 of file z3++.h.

Constructor & Destructor Documentation

◆ iterator() [1/2]

iterator ( ast_vector_tpl const *  v,
unsigned  i 
)
inline

Definition at line 1735 of file z3++.h.

1735 : m_vector(v), m_index(i) {}

◆ iterator() [2/2]

iterator ( iterator other)
inline

Definition at line 1736 of file z3++.h.

1736 : m_vector(other.m_vector), m_index(other.m_index) {}

Member Function Documentation

◆ operator *()

T operator * ( ) const
inline

Definition at line 1751 of file z3++.h.

1751 { return (*m_vector)[m_index]; }

Referenced by ast_vector_tpl< T >::iterator::operator->().

◆ operator!=()

bool operator!= ( iterator const &  other)
inline

Definition at line 1742 of file z3++.h.

1742  {
1743  return other.m_index != m_index;
1744  };

◆ operator++() [1/2]

iterator& operator++ ( )
inline

Definition at line 1745 of file z3++.h.

1745  {
1746  ++m_index;
1747  return *this;
1748  }

◆ operator++() [2/2]

iterator operator++ ( int  )
inline

Definition at line 1749 of file z3++.h.

1749 { iterator tmp = *this; ++m_index; return tmp; }
iterator(ast_vector_tpl const *v, unsigned i)
Definition: z3++.h:1735

◆ operator->()

T* operator-> ( ) const
inline

Definition at line 1750 of file z3++.h.

1750 { return &(operator*()); }

◆ operator=()

iterator operator= ( iterator const &  other)
inline

Definition at line 1737 of file z3++.h.

1737 { m_vector = other.m_vector; m_index = other.m_index; return *this; }

◆ operator==()

bool operator== ( iterator const &  other)
inline

Definition at line 1739 of file z3++.h.

1739  {
1740  return other.m_index == m_index;
1741  };