CVC3  2.4.1
CVC3::CDFlags Member List

This is the complete list of members for CVC3::CDFlags, including all inherited members.

CDFlags(const CDFlags &cdflags)CVC3::CDFlagsinlineprivate
CDFlags(Context *context)CVC3::CDFlagsinline
clear(unsigned mask, int scope=-1)CVC3::CDFlagsinline
ContextObj(const ContextObj &co)CVC3::ContextObjinlineprotected
ContextObj(Context *context)CVC3::ContextObjinline
d_flagsCVC3::CDFlagsprivate
get(unsigned mask) const CVC3::CDFlagsinline
getCMM()CVC3::ContextObjinlineprotected
getRestore()CVC3::ContextObjinlineprotected
isCurrent(int scope=-1) const CVC3::ContextObjinline
level() const CVC3::ContextObjinline
makeCopy(ContextMemoryManager *cmm)CVC3::CDFlagsinlineprivatevirtual
makeCurrent(int scope=-1)CVC3::ContextObjinline
operator delete(void *pMem, MemoryManager *mm)CVC3::ContextObjinline
operator delete(void *pMem, bool b)CVC3::ContextObjinline
operator delete(void *)CVC3::ContextObjinline
operator new(size_t size, MemoryManager *mm)CVC3::ContextObjinline
operator new(size_t size, bool b)CVC3::ContextObjinline
operator=(const CDFlags &cdflags)CVC3::CDFlagsinlineprivate
CVC3::ContextObj::operator=(const ContextObj &co)CVC3::ContextObjinlineprotected
restoreData(ContextObj *data)CVC3::CDFlagsinlineprivatevirtual
set(unsigned mask, int scope=-1)CVC3::CDFlagsinline
setNull(void)CVC3::CDFlagsinlineprivatevirtual
update(unsigned mask, int scope, bool setMask)CVC3::CDFlagsprivate
~CDFlags()CVC3::CDFlagsinline
~ContextObj()CVC3::ContextObjvirtual