#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 |
|
inline |
Definition at line 628 of file z3++.h.
Referenced by operator!=(), operator++(), operator++(), and operator==().
|
inline |
Definition at line 645 of file z3++.h.
Referenced by operator->().
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inline |
Definition at line 640 of file z3++.h.