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

Constructor & Destructor Documentation

iterator()

iterator ( expr & e, unsigned i )

inline

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

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

Member Function Documentation

operator!=()

bool operator!= ( iterator const & other ) const

inlinenoexcept

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

                                                                  {
                return i != other.i;
            }

operator*()

expr operator* ( ) const

inline

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

{ return e.arg(i); }

operator++() [1/2]

iterator & operator++ ( )

inline

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

{ ++i; return *this; }

operator++() [2/2]

iterator operator++ ( int )

inline

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

{ assert(false); return *this; }

operator==()

bool operator== ( iterator const & other ) const

inlinenoexcept

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

                                                                  {
                return i == other.i;
            }