CVC3

CVC3::ContextObj Member List

This is the complete list of members for CVC3::ContextObj, including all inherited members.
CDFlags classCVC3::ContextObj [friend]
ContextObj(const ContextObj &co)CVC3::ContextObj [inline, protected]
ContextObj(Context *context)CVC3::ContextObj [inline]
ContextObjChain classCVC3::ContextObj [friend]
d_restoreCVC3::ContextObj [private]
d_scopeCVC3::ContextObj [private]
getCMM()CVC3::ContextObj [inline, protected]
getRestore()CVC3::ContextObj [inline, protected]
isCurrent(int scope=-1) const CVC3::ContextObj [inline]
level() const CVC3::ContextObj [inline]
makeCopy(ContextMemoryManager *cmm)=0CVC3::ContextObj [protected, pure virtual]
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 [inline, protected]
restoreData(ContextObj *data)CVC3::ContextObj [inline, protected, virtual]
Scope classCVC3::ContextObj [friend]
setNull(void)=0CVC3::ContextObj [protected, pure virtual]
update(int scope=-1)CVC3::ContextObj [private]
~ContextObj()CVC3::ContextObj [virtual]