CDOmapOrdered(Context *context, CDMapOrdered< Key, Data > *cdmap, const Key &key, const Data &data, int scope=-1) | CVC3::CDOmapOrdered< Key, Data > | inline |
ContextObj(const ContextObj &co) | CVC3::ContextObj | inlineprotected |
ContextObj(Context *context) | CVC3::ContextObj | inline |
d_cdmap | CVC3::CDOmapOrdered< Key, Data > | private |
d_data | CVC3::CDOmapOrdered< Key, Data > | private |
d_inMap | CVC3::CDOmapOrdered< Key, Data > | private |
d_key | CVC3::CDOmapOrdered< Key, Data > | private |
d_next | CVC3::CDOmapOrdered< Key, Data > | private |
d_prev | CVC3::CDOmapOrdered< Key, Data > | private |
get() const | CVC3::CDOmapOrdered< Key, Data > | inline |
getCMM() | CVC3::ContextObj | inlineprotected |
getKey() const | CVC3::CDOmapOrdered< Key, Data > | inline |
getRestore() | CVC3::ContextObj | inlineprotected |
isCurrent(int scope=-1) const | CVC3::ContextObj | inline |
level() const | CVC3::ContextObj | inline |
makeCopy(ContextMemoryManager *cmm) | CVC3::CDOmapOrdered< Key, Data > | inlineprivatevirtual |
makeCurrent(int scope=-1) | CVC3::ContextObj | inline |
next() const | CVC3::CDOmapOrdered< Key, Data > | inline |
operator Data() | CVC3::CDOmapOrdered< Key, Data > | inline |
operator delete(void *pMem, MemoryManager *mm) | CVC3::ContextObj | inline |
operator delete(void *pMem, bool b) | CVC3::ContextObj | inline |
operator delete(void *) | CVC3::ContextObj | inline |
operator new(size_t size, MemoryManager *mm) | CVC3::ContextObj | inline |
operator new(size_t size, bool b) | CVC3::ContextObj | inline |
operator=(const Data &data) | CVC3::CDOmapOrdered< Key, Data > | inline |
CVC3::ContextObj::operator=(const ContextObj &co) | CVC3::ContextObj | inlineprotected |
restoreData(ContextObj *data) | CVC3::CDOmapOrdered< Key, Data > | inlineprivatevirtual |
set(const Data &data, int scope=-1) | CVC3::CDOmapOrdered< Key, Data > | inline |
setNull(void) | CVC3::CDOmapOrdered< Key, Data > | inlineprivatevirtual |
~CDOmapOrdered() | CVC3::CDOmapOrdered< Key, Data > | inline |
~ContextObj() | CVC3::ContextObj | virtual |