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