#include <cdmap_ordered.h>
Definition at line 253 of file cdmap_ordered.h.
CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::orderedIterator | ( | const CDOmapOrdered< Key, Data > * | p | ) | [inline] |
Definition at line 256 of file cdmap_ordered.h.
CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::orderedIterator | ( | const orderedIterator & | i | ) | [inline] |
Definition at line 257 of file cdmap_ordered.h.
CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::orderedIterator | ( | ) | [inline] |
Definition at line 259 of file cdmap_ordered.h.
bool CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::operator== | ( | const orderedIterator & | i | ) | const [inline] |
Definition at line 261 of file cdmap_ordered.h.
References CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::d_it.
bool CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::operator!= | ( | const orderedIterator & | i | ) | const [inline] |
Definition at line 264 of file cdmap_ordered.h.
References CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::d_it.
std::pair<const Key, Data> CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::operator* | ( | ) | const [inline] |
Definition at line 268 of file cdmap_ordered.h.
References CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::d_it.
orderedIterator& CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::operator++ | ( | ) | [inline] |
Definition at line 273 of file cdmap_ordered.h.
References CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::d_it.
Proxy CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::operator++ | ( | int | ) | [inline] |
Definition at line 286 of file cdmap_ordered.h.
const CDOmapOrdered<Key,Data>* CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::d_it [private] |
Definition at line 254 of file cdmap_ordered.h.
Referenced by CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::operator!=(), CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::operator*(), CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::operator++(), and CVC3::CDMapOrdered< Key, Data >::CDMapOrdered::orderedIterator::operator==().