Public Member Functions | |
iterator (expr &e, unsigned i) | |
bool | operator== (iterator const &other) noexcept |
bool | operator!= (iterator const &other) noexcept |
expr | operator* () const |
iterator & | operator++ () |
iterator | operator++ (int) |
|
inline |
Definition at line 1611 of file z3++.h.
|
inline |