Definition at line 1527 of file z3++.h.
◆ iterator()
◆ operator!=()
Definition at line 1535 of file z3++.h.
1536 return i != other.i;
◆ operator*()
Definition at line 1538 of file z3++.h.
1538 {
return e.
arg(i); }
expr arg(unsigned i) const
Return the i-th argument of this application. This method assumes the expression is an application.
◆ operator++() [1/2]
Definition at line 1539 of file z3++.h.
1539 { ++i;
return *
this; }
◆ operator++() [2/2]
Definition at line 1540 of file z3++.h.
1540 { assert(
false);
return *
this; }
◆ operator==()
bool operator== |
( |
iterator const & |
other | ) |
|
|
inlinenoexcept |
Definition at line 1532 of file z3++.h.
1533 return i == other.i;