Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Public Member Functions
ast_vector_tpl< T >::iterator Class Reference

Public Member Functions

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

Detailed Description

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

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

Constructor & Destructor Documentation

iterator ( ast_vector_tpl const *  v,
unsigned  i 
)
inline

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

1823 : m_vector(v), m_index(i) {}
iterator ( iterator const &  other)
inline

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

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

Member Function Documentation

bool operator!= ( iterator const &  other) const
inline

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

1830  {
1831  return other.m_index != m_index;
1832  };
T operator* ( ) const
inline

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

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

1842 { return (*m_vector)[m_index]; }
iterator& operator++ ( )
inline

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

1833  {
1834  ++m_index;
1835  return *this;
1836  }
iterator operator++ ( int  )
inline

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

1840 { iterator tmp = *this; ++m_index; return tmp; }
iterator(ast_vector_tpl const *v, unsigned i)
Definition: z3++.h:1823
T* operator-> ( ) const
inline

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

1841 { return &(operator*()); }
iterator operator= ( iterator const &  other)
inline

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

1825 { m_vector = other.m_vector; m_index = other.m_index; return *this; }
bool operator== ( iterator const &  other) const
inline

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

1827  {
1828  return other.m_index == m_index;
1829  };
void set ( T &  arg)
inline

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

1837  {
1838  Z3_ast_vector_set(m_vector->ctx(), *m_vector, m_index, arg);
1839  }
context & ctx() const
Definition: z3++.h:406
void Z3_API Z3_ast_vector_set(Z3_context c, Z3_ast_vector v, unsigned i, Z3_ast a)
Update position i of the AST vector v with the AST a.