CVC3
2.4.1
|
#include <expr_map.h>
Classes | |
class | Proxy |
Public Member Functions | |
iterator () | |
bool | operator== (const iterator &i) const |
bool | operator!= (const iterator &i) const |
std::pair< const Expr, Data > & | operator* () const |
std::pair< const Expr, Data > * | operator-> () const |
iterator & | operator++ () |
Proxy | operator++ (int) |
Private Member Functions | |
iterator (const typename ExprHashMapType::iterator &it) | |
Private Attributes | |
ExprHashMapType::iterator | d_it |
Friends | |
class | ExprHashMap |
Definition at line 254 of file expr_map.h.
|
inlineprivate |
Definition at line 259 of file expr_map.h.
|
inline |
Definition at line 263 of file expr_map.h.
|
inline |
Definition at line 265 of file expr_map.h.
References CVC3::ExprHashMap< Data >::iterator::d_it.
|
inline |
Definition at line 266 of file expr_map.h.
References CVC3::ExprHashMap< Data >::iterator::d_it.
|
inline |
Definition at line 268 of file expr_map.h.
References CVC3::ExprHashMap< Data >::iterator::d_it.
|
inline |
Definition at line 269 of file expr_map.h.
References CVC3::ExprHashMap< Data >::iterator::d_it.
|
inline |
Definition at line 273 of file expr_map.h.
References CVC3::ExprHashMap< Data >::iterator::d_it.
|
inline |
Definition at line 286 of file expr_map.h.
|
friend |
Definition at line 255 of file expr_map.h.
|
private |
Definition at line 257 of file expr_map.h.
Referenced by CVC3::ExprHashMap< Data >::iterator::operator!=(), CVC3::ExprHashMap< Data >::iterator::operator*(), CVC3::ExprHashMap< Data >::iterator::operator++(), CVC3::ExprHashMap< Data >::iterator::operator->(), and CVC3::ExprHashMap< Data >::iterator::operator==().