CVC3
2.4.1
|
#include <cdmap_ordered.h>
Public Member Functions | |
Proxy (const std::pair< const Key, Data > &p) | |
std::pair< const Key, Data > & | operator* () |
Private Attributes | |
const std::pair< const Key, Data > * | d_pair |
Definition at line 276 of file cdmap_ordered.h.
|
inline |
Definition at line 279 of file cdmap_ordered.h.
|
inline |
Definition at line 280 of file cdmap_ordered.h.
References CVC3::CDMapOrdered< Key, Data >::orderedIterator::Proxy::d_pair.
|
private |
Definition at line 277 of file cdmap_ordered.h.
Referenced by CVC3::CDMapOrdered< Key, Data >::orderedIterator::Proxy::operator*().