cvc4-1.4
Public Member Functions | Friends
CVC4::Expr::const_iterator Class Reference

Iterator type for the children of an Expr. More...

#include <expr.h>

Inheritance diagram for CVC4::Expr::const_iterator:

Public Member Functions

 const_iterator ()
 
 const_iterator (const const_iterator &it)
 
const_iterator & operator= (const const_iterator &it)
 
 ~const_iterator ()
 
bool operator== (const const_iterator &it) const
 
bool operator!= (const const_iterator &it) const
 
const_iterator & operator++ ()
 
const_iterator operator++ (int)
 
Expr operator* () const
 

Friends

class Expr
 

Detailed Description

Iterator type for the children of an Expr.

Definition at line 415 of file expr.h.

Constructor & Destructor Documentation

CVC4::Expr::const_iterator::const_iterator ( )
CVC4::Expr::const_iterator::const_iterator ( const const_iterator &  it)
CVC4::Expr::const_iterator::~const_iterator ( )

Member Function Documentation

bool CVC4::Expr::const_iterator::operator!= ( const const_iterator &  it) const
inline

Definition at line 429 of file expr.h.

References CVC4::language::output::LANG_AUTO, and CVC4::theory::operator++().

Expr CVC4::Expr::const_iterator::operator* ( ) const
const_iterator& CVC4::Expr::const_iterator::operator++ ( )
const_iterator CVC4::Expr::const_iterator::operator++ ( int  )
const_iterator& CVC4::Expr::const_iterator::operator= ( const const_iterator &  it)
bool CVC4::Expr::const_iterator::operator== ( const const_iterator &  it) const

Friends And Related Function Documentation

friend class Expr
friend

Definition at line 421 of file expr.h.

The documentation for this class was generated from the following file: