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 |
|
inline |
|
inline |
Definition at line 645 of file z3++.h.
Referenced by ast_vector_tpl< T >::iterator::operator->().
|
inlinenoexcept |
|
inlinenoexcept |
Definition at line 643 of file z3++.h.
|
inlinenoexcept |