CVC3
2.4.1
|
#include <cdmap.h>
Public Member Functions | |
CDOmap (Context *context, CDMap< Key, Data, HashFcn > *cdmap, const Key &key, const Data &data, int scope=-1) | |
~CDOmap () | |
void | set (const Data &data, int scope=-1) |
const Key & | getKey () const |
const Data & | get () const |
operator Data () | |
CDOmap< Key, Data, HashFcn > & | operator= (const Data &data) |
CDOmap< Key, Data, HashFcn > * | next () const |
![]() | |
ContextObj (Context *context) | |
Create a new ContextObj. | |
virtual | ~ContextObj () |
int | level () const |
bool | isCurrent (int scope=-1) const |
void | makeCurrent (int scope=-1) |
void * | operator new (size_t size, MemoryManager *mm) |
void | operator delete (void *pMem, MemoryManager *mm) |
void * | operator new (size_t size, bool b) |
void | operator delete (void *pMem, bool b) |
void | operator delete (void *) |
Private Member Functions | |
virtual ContextObj * | makeCopy (ContextMemoryManager *cmm) |
virtual void | restoreData (ContextObj *data) |
virtual void | setNull (void) |
Private Attributes | |
Key | d_key |
Data | d_data |
bool | d_inMap |
CDMap< Key, Data, HashFcn > * | d_cdmap |
CDOmap< Key, Data, HashFcn > * | d_prev |
CDOmap< Key, Data, HashFcn > * | d_next |
Additional Inherited Members | |
![]() | |
ContextObj (const ContextObj &co) | |
Copy constructor (defined mainly for debugging purposes) | |
ContextObj & | operator= (const ContextObj &co) |
Assignment operator (defined mainly for debugging purposes) | |
virtual ContextObj * | makeCopy (ContextMemoryManager *cmm)=0 |
Make a copy of the current object so it can be restored to its current state. | |
virtual void | restoreData (ContextObj *data) |
Restore the current object from the given data. | |
const ContextObj * | getRestore () |
virtual void | setNull (void)=0 |
Set the current object to be invalid. | |
ContextMemoryManager * | getCMM () |
Return our name (for debugging) |
|
inline |
|
inline |
|
inlineprivatevirtual |
|
inlineprivatevirtual |
|
inlineprivatevirtual |
Definition at line 67 of file cdmap.h.
Referenced by CVC3::CDOmap< Expr, Expr, HashFcn >::restoreData().
|
inline |
Definition at line 102 of file cdmap.h.
Referenced by CVC3::CDMap< Expr, Expr, HashFcn >::insert().
|
inline |
|
inline |
Definition at line 106 of file cdmap.h.
Referenced by CVC3::TheoryArithOld::DifferenceLogicGraph::addEdge(), CVC3::TheoryArithOld::DifferenceLogicGraph::analyseConflict(), CVC3::TheoryArithOld::DifferenceLogicGraph::getEdge(), CVC3::TheoryArith3::updateSubsumptionDB(), and CVC3::TheoryArithOld::updateSubsumptionDB().
|
inline |
|
inline |
|
inline |
|
private |
Definition at line 50 of file cdmap.h.
Referenced by CVC3::CDOmap< Expr, Expr, HashFcn >::getKey(), and CVC3::CDOmap< Expr, Expr, HashFcn >::setNull().
|
private |
Definition at line 51 of file cdmap.h.
Referenced by CVC3::CDOmap< Expr, Expr, HashFcn >::get(), CVC3::CDOmap< Expr, Expr, HashFcn >::restoreData(), and CVC3::CDOmap< Expr, Expr, HashFcn >::set().
|
private |
Definition at line 52 of file cdmap.h.
Referenced by CVC3::CDOmap< Expr, Expr, HashFcn >::restoreData(), and CVC3::CDOmap< Expr, Expr, HashFcn >::set().
|
private |
Definition at line 53 of file cdmap.h.
Referenced by CVC3::CDOmap< Expr, Expr, HashFcn >::CDOmap(), CVC3::CDOmap< Expr, Expr, HashFcn >::next(), and CVC3::CDOmap< Expr, Expr, HashFcn >::setNull().
|
private |
Definition at line 56 of file cdmap.h.
Referenced by CVC3::CDOmap< Expr, Expr, HashFcn >::CDOmap(), and CVC3::CDOmap< Expr, Expr, HashFcn >::setNull().
|
private |
Definition at line 57 of file cdmap.h.
Referenced by CVC3::CDOmap< Expr, Expr, HashFcn >::CDOmap(), CVC3::CDOmap< Expr, Expr, HashFcn >::next(), and CVC3::CDOmap< Expr, Expr, HashFcn >::setNull().