CVC3
|
This is the complete list of members for CVC3::CDFlags, including all inherited members.
CDFlags(const CDFlags &cdflags) | CVC3::CDFlags | inlineprivate |
CDFlags(Context *context) | CVC3::CDFlags | inline |
clear(unsigned mask, int scope=-1) | CVC3::CDFlags | inline |
ContextObj(const ContextObj &co) | CVC3::ContextObj | inlineprotected |
ContextObj(Context *context) | CVC3::ContextObj | inline |
d_flags | CVC3::CDFlags | private |
get(unsigned mask) const | CVC3::CDFlags | inline |
getCMM() | CVC3::ContextObj | inlineprotected |
getRestore() | CVC3::ContextObj | inlineprotected |
isCurrent(int scope=-1) const | CVC3::ContextObj | inline |
level() const | CVC3::ContextObj | inline |
makeCopy(ContextMemoryManager *cmm) | CVC3::CDFlags | 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 CDFlags &cdflags) | CVC3::CDFlags | inlineprivate |
CVC3::ContextObj::operator=(const ContextObj &co) | CVC3::ContextObj | inlineprotected |
restoreData(ContextObj *data) | CVC3::CDFlags | inlineprivatevirtual |
set(unsigned mask, int scope=-1) | CVC3::CDFlags | inline |
setNull(void) | CVC3::CDFlags | inlineprivatevirtual |
update(unsigned mask, int scope, bool setMask) | CVC3::CDFlags | private |
~CDFlags() | CVC3::CDFlags | inline |
~ContextObj() | CVC3::ContextObj | virtual |