#include <z3++.h>
Definition at line 1570 of file z3++.h.
◆ iterator()
◆ operator!=()
Definition at line 1578 of file z3++.h.
1578 {
1579 return i != other.i;
1580 }
◆ operator*()
Definition at line 1581 of file z3++.h.
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 1582 of file z3++.h.
1582{ ++i; return *this; }
◆ operator++() [2/2]
Definition at line 1583 of file z3++.h.
1583{ assert(false); return *this; }
◆ operator==()
bool operator== |
( |
iterator const & |
other | ) |
|
|
inlinenoexcept |
Definition at line 1575 of file z3++.h.
1575 {
1576 return i == other.i;
1577 }