expr::iterator Class Reference

#include <z3++.h>

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 1732 of file z3++.h.

Constructor & Destructor Documentation

iterator()

iterator ( expr &  e, unsigned  i  )

inline

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

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

Member Function Documentation

operator!=()

bool operator!= ( iterator const &  other ) const

inlinenoexcept

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

                                                                  {
                return i != other.i;
            }

operator*()

expr operator* ( ) const

inline

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

{ return e.arg(i); }

operator++() [1/2]

iterator & operator++ ( )

inline

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

{ ++i; return *this; }

operator++() [2/2]

iterator operator++ ( int  )

inline

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

{ assert(false); return *this; }

operator==()

bool operator== ( iterator const &  other ) const

inlinenoexcept

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

                                                                  {
                return i == other.i;
            }