expr::iterator Class Reference

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)

Detailed Description

Definition at line 1526 of file z3++.h.

Constructor & Destructor Documentation

iterator ( expr &  e, unsigned  i  )

inline

Definition at line 1530 of file z3++.h.

: e(e), i(i) {}

Member Function Documentation

bool operator!= ( iterator const &  other )

inlinenoexcept

Definition at line 1534 of file z3++.h.

                                                            {
                return i != other.i;
            }

expr operator* ( ) const

inline

Definition at line 1537 of file z3++.h.

{ return e.arg(i); }

iterator& operator++ ( )

inline

Definition at line 1538 of file z3++.h.

{ ++i; return *this; }

iterator operator++ ( int  )

inline

Definition at line 1539 of file z3++.h.

{ assert(false); return *this; }

bool operator== ( iterator const &  other )

inlinenoexcept

Definition at line 1531 of file z3++.h.

                                                            {
                return i == other.i;
            }