CVC3::CDOmap< Key, Data, HashFcn > Class Template Reference

#include <cdmap.h>

Inheritance diagram for CVC3::CDOmap< Key, Data, HashFcn >:

Inheritance graph
[legend]
Collaboration diagram for CVC3::CDOmap< Key, Data, HashFcn >:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Member Functions

Private Attributes


Detailed Description

template<class Key, class Data, class HashFcn = std::hash<Key>>
class CVC3::CDOmap< Key, Data, HashFcn >

Definition at line 49 of file cdmap.h.


Constructor & Destructor Documentation

template<class Key, class Data, class HashFcn = std::hash<Key>>
CVC3::CDOmap< Key, Data, HashFcn >::CDOmap ( Context context,
CDMap< Key, Data, HashFcn > *  cdmap,
const Key &  key,
const Data &  data,
int  scope = -1 
) [inline]

Definition at line 86 of file cdmap.h.

template<class Key, class Data, class HashFcn = std::hash<Key>>
CVC3::CDOmap< Key, Data, HashFcn >::~CDOmap (  )  [inline]

Definition at line 102 of file cdmap.h.


Member Function Documentation

template<class Key, class Data, class HashFcn = std::hash<Key>>
virtual ContextObj* CVC3::CDOmap< 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.

Definition at line 59 of file cdmap.h.

template<class Key, class Data, class HashFcn = std::hash<Key>>
virtual void CVC3::CDOmap< Key, Data, HashFcn >::restoreData ( ContextObj data  )  [inline, private, virtual]

Restore the current object from the given data.

Reimplemented from CVC3::ContextObj.

Definition at line 62 of file cdmap.h.

template<class Key, class Data, class HashFcn = std::hash<Key>>
virtual void CVC3::CDOmap< Key, Data, HashFcn >::setNull ( void   )  [inline, private, virtual]

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 67 of file cdmap.h.

Referenced by CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::restoreData().

template<class Key, class Data, class HashFcn = std::hash<Key>>
void CVC3::CDOmap< Key, Data, HashFcn >::set ( const Data &  data,
int  scope = -1 
) [inline]

Definition at line 103 of file cdmap.h.

Referenced by CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::CDOmap(), and CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::operator=().

template<class Key, class Data, class HashFcn = std::hash<Key>>
const Key& CVC3::CDOmap< Key, Data, HashFcn >::getKey (  )  const [inline]

Definition at line 106 of file cdmap.h.

template<class Key, class Data, class HashFcn = std::hash<Key>>
const Data& CVC3::CDOmap< Key, Data, HashFcn >::get (  )  const [inline]

Definition at line 107 of file cdmap.h.

Referenced by CVC3::CDOmap< CVC3::Expr, std::vector< CVC3::Expr >, HashFcn >::operator std::vector< CVC3::Expr >(), and CVC3::TheoryArithOld::updateSubsumptionDB().

template<class Key, class Data, class HashFcn = std::hash<Key>>
CVC3::CDOmap< Key, Data, HashFcn >::operator Data (  )  [inline]

Definition at line 108 of file cdmap.h.

template<class Key, class Data, class HashFcn = std::hash<Key>>
CDOmap<Key, Data, HashFcn>& CVC3::CDOmap< Key, Data, HashFcn >::operator= ( const Data &  data  )  [inline]

Definition at line 109 of file cdmap.h.

template<class Key, class Data, class HashFcn = std::hash<Key>>
CDOmap<Key, Data, HashFcn>* CVC3::CDOmap< Key, Data, HashFcn >::next (  )  const [inline]

Definition at line 110 of file cdmap.h.


Member Data Documentation

template<class Key, class Data, class HashFcn = std::hash<Key>>
Key CVC3::CDOmap< Key, Data, HashFcn >::d_key [private]

Definition at line 50 of file cdmap.h.

Referenced by CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::getKey(), and CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::setNull().

template<class Key, class Data, class HashFcn = std::hash<Key>>
Data CVC3::CDOmap< Key, Data, HashFcn >::d_data [private]

Definition at line 51 of file cdmap.h.

Referenced by CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::get(), CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::restoreData(), and CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::set().

template<class Key, class Data, class HashFcn = std::hash<Key>>
bool CVC3::CDOmap< Key, Data, HashFcn >::d_inMap [private]

Definition at line 52 of file cdmap.h.

Referenced by CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::restoreData(), and CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::set().

template<class Key, class Data, class HashFcn = std::hash<Key>>
CDMap<Key, Data, HashFcn>* CVC3::CDOmap< Key, Data, HashFcn >::d_cdmap [private]

Definition at line 53 of file cdmap.h.

Referenced by CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::CDOmap(), CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::next(), and CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::setNull().

template<class Key, class Data, class HashFcn = std::hash<Key>>
CDOmap<Key, Data, HashFcn>* CVC3::CDOmap< Key, Data, HashFcn >::d_prev [private]

Definition at line 56 of file cdmap.h.

Referenced by CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::CDOmap(), and CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::setNull().

template<class Key, class Data, class HashFcn = std::hash<Key>>
CDOmap<Key, Data, HashFcn>* CVC3::CDOmap< Key, Data, HashFcn >::d_next [private]

Definition at line 57 of file cdmap.h.

Referenced by CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::CDOmap(), CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::next(), and CVC3::CDOmap< CVC3::Expr, CVC3::Expr, HashFcn >::setNull().


The documentation for this class was generated from the following file:
Generated on Tue Jul 3 14:35:40 2007 for CVC3 by  doxygen 1.5.1