begin() const | CVC3::CDMap< Key, Data, HashFcn > | inline |
CDMap(Context *context, int scope=-1) | CVC3::CDMap< Key, Data, HashFcn > | inline |
CDOmap< Key, Data, HashFcn > class | CVC3::CDMap< Key, Data, HashFcn > | friend |
ContextObj(const ContextObj &co) | CVC3::ContextObj | inlineprotected |
ContextObj(Context *context) | CVC3::ContextObj | inline |
count(const Key &k) const | CVC3::CDMap< Key, Data, HashFcn > | inline |
d_context | CVC3::CDMap< Key, Data, HashFcn > | private |
d_first | CVC3::CDMap< Key, Data, HashFcn > | private |
d_map | CVC3::CDMap< Key, Data, HashFcn > | private |
d_trash | CVC3::CDMap< Key, Data, HashFcn > | private |
ElementReference typedef | CVC3::CDMap< Key, Data, HashFcn > | |
emptyTrash() | CVC3::CDMap< Key, Data, HashFcn > | inlineprivate |
end() const | CVC3::CDMap< Key, Data, HashFcn > | inline |
find(const Key &k) const | CVC3::CDMap< Key, Data, HashFcn > | inline |
getCMM() | CVC3::ContextObj | inlineprotected |
getRestore() | CVC3::ContextObj | inlineprotected |
insert(const Key &k, const Data &d, int scope=-1) | CVC3::CDMap< Key, Data, HashFcn > | inline |
isCurrent(int scope=-1) const | CVC3::ContextObj | inline |
level() const | CVC3::ContextObj | inline |
makeCopy(ContextMemoryManager *cmm) | CVC3::CDMap< Key, Data, HashFcn > | inlineprivatevirtual |
makeCurrent(int scope=-1) | CVC3::ContextObj | 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 ContextObj &co) | CVC3::ContextObj | inlineprotected |
operator[](const Key &k) | CVC3::CDMap< Key, Data, HashFcn > | inline |
orderedBegin() const | CVC3::CDMap< Key, Data, HashFcn > | inline |
orderedEnd() const | CVC3::CDMap< Key, Data, HashFcn > | inline |
restoreData(ContextObj *data) | CVC3::CDMap< Key, Data, HashFcn > | inlineprivatevirtual |
setNull(void) | CVC3::CDMap< Key, Data, HashFcn > | inlineprivatevirtual |
size() const | CVC3::CDMap< Key, Data, HashFcn > | inline |
~CDMap() | CVC3::CDMap< Key, Data, HashFcn > | inline |
~ContextObj() | CVC3::ContextObj | virtual |