CVC3
2.4.1
|
#include <expr_map.h>
Classes | |
class | Proxy |
Public Member Functions | |
const_iterator () | |
bool | operator== (const const_iterator &i) const |
bool | operator!= (const const_iterator &i) const |
const std::pair< const Expr, Data > & | operator* () const |
const std::pair< const Expr, Data > * | operator-> () const |
const_iterator & | operator++ () |
Proxy | operator++ (int) |
const_iterator & | operator-- () |
Private Member Functions | |
const_iterator (const typename ExprMapType::const_iterator &it) | |
Private Attributes | |
ExprMapType::const_iterator | d_it |
Friends | |
class | ExprMap |
Definition at line 78 of file expr_map.h.
|
inlineprivate |
Definition at line 83 of file expr_map.h.
|
inline |
Definition at line 87 of file expr_map.h.
|
inline |
Definition at line 89 of file expr_map.h.
References CVC3::ExprMap< Data >::const_iterator::d_it.
|
inline |
Definition at line 90 of file expr_map.h.
References CVC3::ExprMap< Data >::const_iterator::d_it.
|
inline |
Definition at line 92 of file expr_map.h.
References CVC3::ExprMap< Data >::const_iterator::d_it.
|
inline |
Definition at line 93 of file expr_map.h.
|
inline |
Definition at line 97 of file expr_map.h.
References CVC3::ExprMap< Data >::const_iterator::d_it.
|
inline |
Definition at line 110 of file expr_map.h.
|
inline |
Definition at line 116 of file expr_map.h.
References CVC3::ExprMap< Data >::const_iterator::d_it.
|
friend |
Definition at line 79 of file expr_map.h.
|
private |
Definition at line 81 of file expr_map.h.
Referenced by CVC3::ExprMap< Data >::const_iterator::operator!=(), CVC3::ExprMap< Data >::const_iterator::operator*(), CVC3::ExprMap< Data >::const_iterator::operator++(), CVC3::ExprMap< Data >::const_iterator::operator--(), and CVC3::ExprMap< Data >::const_iterator::operator==().