#include <cdmap.h>
Inheritance diagram for CVC3::CDMap< Key, Data, HashFcn >:
Definition at line 129 of file cdmap.h.
CVC3::CDMap< Key, Data, HashFcn >::CDMap | ( | Context * | context, | |
int | scope = -1 | |||
) | [inline] |
CVC3::CDMap< Key, Data, HashFcn >::~CDMap | ( | ) | [inline] |
virtual ContextObj* CVC3::CDMap< Key, Data, HashFcn >::makeCopy | ( | ContextMemoryManager * | cmm | ) | [inline, private, virtual] |
Make a copy of the current object so it can be restored to its current state.
Implements CVC3::ContextObj.
virtual void CVC3::CDMap< Key, Data, HashFcn >::restoreData | ( | ContextObj * | data | ) | [inline, private, virtual] |
void CVC3::CDMap< Key, Data, HashFcn >::emptyTrash | ( | ) | [inline, private] |
Definition at line 145 of file cdmap.h.
Referenced by CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::insert(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::operator[](), and CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::setNull().
virtual void CVC3::CDMap< Key, Data, HashFcn >::setNull | ( | void | ) | [inline, private, virtual] |
Set the current object to be invalid.
Implements CVC3::ContextObj.
Definition at line 154 of file cdmap.h.
Referenced by CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::~CDMap().
size_t CVC3::CDMap< Key, Data, HashFcn >::size | ( | ) | const [inline] |
size_t CVC3::CDMap< Key, Data, HashFcn >::count | ( | const Key & | k | ) | const [inline] |
CDOmap<Key, Data, HashFcn>& CVC3::CDMap< Key, Data, HashFcn >::operator[] | ( | const Key & | k | ) | [inline] |
void CVC3::CDMap< Key, Data, HashFcn >::insert | ( | const Key & | k, | |
const Data & | d, | |||
int | scope = -1 | |||
) | [inline] |
iterator CVC3::CDMap< Key, Data, HashFcn >::begin | ( | ) | const [inline] |
iterator CVC3::CDMap< Key, Data, HashFcn >::end | ( | ) | const [inline] |
Definition at line 257 of file cdmap.h.
Referenced by CVC3::TheoryQuant::combineOldNewTrigs(), CVC3::TheoryCore::incomplete(), and CVC3::TheoryQuant::synNewInst().
orderedIterator CVC3::CDMap< Key, Data, HashFcn >::orderedBegin | ( | ) | const [inline] |
orderedIterator CVC3::CDMap< Key, Data, HashFcn >::orderedEnd | ( | ) | const [inline] |
iterator CVC3::CDMap< Key, Data, HashFcn >::find | ( | const Key & | k | ) | const [inline] |
Definition at line 302 of file cdmap.h.
Referenced by CVC3::TheoryQuant::combineOldNewTrigs(), and CVC3::TheoryQuant::synNewInst().
friend class CDOmap< Key, Data, HashFcn > [friend] |
std::hash_map<Key,CDOmap<Key, Data, HashFcn>*> CVC3::CDMap< Key, Data, HashFcn >::d_map [private] |
Definition at line 132 of file cdmap.h.
Referenced by CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::begin(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::count(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::end(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::find(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::insert(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::operator[](), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::setNull(), and CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::size().
std::vector<CDOmap<Key, Data, HashFcn>*> CVC3::CDMap< Key, Data, HashFcn >::d_trash [private] |
Definition at line 134 of file cdmap.h.
Referenced by CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::emptyTrash().
CDOmap<Key, Data, HashFcn>* CVC3::CDMap< Key, Data, HashFcn >::d_first [private] |
Definition at line 135 of file cdmap.h.
Referenced by CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::orderedBegin().
Context* CVC3::CDMap< Key, Data, HashFcn >::d_context [private] |
Definition at line 136 of file cdmap.h.
Referenced by CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::insert(), and CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::operator[]().