Public Member Functions | |
cube_iterator (solver &s, expr_vector &vars, unsigned &cutoff, bool end) | |
cube_iterator & | operator++ () |
cube_iterator | operator++ (int) |
expr_vector const * | operator-> () const |
expr_vector const & | operator* () const noexcept |
bool | operator== (cube_iterator const &other) const noexcept |
bool | operator!= (cube_iterator const &other) const noexcept |
|
inline |
|
inlinenoexcept |
|
inlinenoexcept |
Definition at line 2958 of file z3++.h.
Referenced by solver::cube_iterator::operator->().
|
inline |
|
inline |
|
inline |
Definition at line 2957 of file z3++.h.
|
inlinenoexcept |