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

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
 
iteratoroperator++ () noexcept
 
void set (T &arg)
 
iterator operator++ (int) noexcept
 
T * operator-> () const
 
operator* () const
 

Detailed Description

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

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

Constructor & Destructor Documentation

◆ iterator()

iterator ( ast_vector_tpl const *  v,
unsigned  i 
)
inline

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

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

Member Function Documentation

◆ operator!=()

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

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

580  {
581  return other.m_index != m_index;
582  };

◆ operator*()

T operator* ( ) const
inline

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

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

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

◆ operator++() [1/2]

iterator& operator++ ( )
inlinenoexcept

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

583  {
584  ++m_index;
585  return *this;
586  }

◆ operator++() [2/2]

iterator operator++ ( int  )
inlinenoexcept

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

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

◆ operator->()

T* operator-> ( ) const
inline

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

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

◆ operator==()

bool operator== ( iterator const &  other) const
inlinenoexcept

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

577  {
578  return other.m_index == m_index;
579  };

◆ set()

void set ( T &  arg)
inline

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

587  {
588  Z3_ast_vector_set(m_vector->ctx(), *m_vector, m_index, arg);
589  }
context & ctx() const
Definition: z3++.h:422
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.