expr::iterator Class Reference

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)

Detailed Description

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

Constructor & Destructor Documentation

iterator ( expr &  e, unsigned  i  )

inline

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

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

Member Function Documentation

bool operator!= ( iterator const &  other ) const

inlinenoexcept

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

                                                                  {
                return i != other.i;
            }

expr operator* ( ) const

inline

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

{ return e.arg(i); }

iterator& operator++ ( )

inline

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

{ ++i; return *this; }

iterator operator++ ( int  )

inline

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

{ assert(false); return *this; }

bool operator== ( iterator const &  other ) const

inlinenoexcept

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

                                                                  {
                return i == other.i;
            }