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) |
Private Member Functions | |
const_iterator (const typename ExprHashMapType::const_iterator &it) |
Private Attributes | |
ExprHashMapType::const_iterator | d_it |
Friends | |
class | ExprHashMap |
Definition at line 215 of file expr_map.h.
|
inlineprivate |
Definition at line 220 of file expr_map.h.
|
inline |
Definition at line 224 of file expr_map.h.
|
inline |
Definition at line 226 of file expr_map.h.
References CVC3::ExprHashMap< Data >::const_iterator::d_it.
|
inline |
Definition at line 227 of file expr_map.h.
References CVC3::ExprHashMap< Data >::const_iterator::d_it.
|
inline |
Definition at line 229 of file expr_map.h.
References CVC3::ExprHashMap< Data >::const_iterator::d_it.
|
inline |
Definition at line 230 of file expr_map.h.
References CVC3::ExprHashMap< Data >::const_iterator::d_it.
|
inline |
Definition at line 234 of file expr_map.h.
References CVC3::ExprHashMap< Data >::const_iterator::d_it.
|
inline |
Definition at line 247 of file expr_map.h.
|
friend |
Definition at line 216 of file expr_map.h.
|
private |
Definition at line 218 of file expr_map.h.
Referenced by CVC3::ExprHashMap< Data >::const_iterator::operator!=(), CVC3::ExprHashMap< Data >::const_iterator::operator*(), CVC3::ExprHashMap< Data >::const_iterator::operator++(), CVC3::ExprHashMap< Data >::const_iterator::operator->(), and CVC3::ExprHashMap< Data >::const_iterator::operator==().