#include <z3++.h>
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 |
iterator & | operator++ () |
void | set (T &arg) |
iterator | operator++ (int) |
T * | operator-> () const |
T | operator* () const |
|
inline |
|
inline |
Definition at line 1915 of file z3++.h.
Referenced by ast_vector_tpl< T >::iterator::operator->().
|
inline |
|
inline |
Definition at line 1913 of file z3++.h.
|
inline |