cvc4-1.4
|
Iterator type for the children of an Expr. More...
#include <expr.h>
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 |
CVC4::Expr::const_iterator::const_iterator | ( | ) |
CVC4::Expr::const_iterator::const_iterator | ( | const const_iterator & | it | ) |
CVC4::Expr::const_iterator::~const_iterator | ( | ) |
|
inline |
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 |