ast_vector_tpl< T >::iterator Class Reference

#include <z3++.h>

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

Detailed Description

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

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

Constructor & Destructor Documentation

iterator()

template<typename T >

iterator ( ast_vector_tpl const *  v, unsigned  i  )

inline

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

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

Member Function Documentation

operator!=()

template<typename T >

bool operator!= ( iterator const &  other ) const

inlinenoexcept

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

                                                                  {
                return other.m_index != m_index;
            };

operator*()

template<typename T >

T operator* ( ) const

inline

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

{ return (*m_vector)[m_index]; }

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

operator++() [1/2]

template<typename T >

iterator & operator++ ( )

inlinenoexcept

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

                                            {
                ++m_index;
                return *this;
            }

operator++() [2/2]

template<typename T >

iterator operator++ ( int  )

inlinenoexcept

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

{ iterator tmp = *this; ++m_index; return tmp; }

operator->()

template<typename T >

T * operator-> ( ) const

inline

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

{ return &(operator*()); }

operator==()

template<typename T >

bool operator== ( iterator const &  other ) const

inlinenoexcept

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

                                                                  {
                return other.m_index == m_index;
            };

set()

template<typename T >

void set ( T &  arg )

inline

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

                             {
                Z3_ast_vector_set(m_vector->ctx(), *m_vector, m_index, arg);
            }