CVC3
2.4.1
|
#include <cdmap.h>
virtual ContextObj* CVC3::CDOmap::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::CDOmap::restoreData | ( | ContextObj * | data | ) | [inline, private, virtual] |
Restore the current object from the given data.
Reimplemented from CVC3::ContextObj.
virtual void CVC3::CDOmap::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< Key, Data, HashFcn >::restoreData().
void CVC3::CDOmap::set | ( | const Data & | data, |
int | scope = -1 |
||
) | [inline] |
Definition at line 102 of file cdmap.h.
Referenced by CVC3::CDMap< Expr, EdgeInfo >::insert().
const Key& CVC3::CDOmap::getKey | ( | ) | const [inline] |
Definition at line 105 of file cdmap.h.
Referenced by CVC3::CDMap::orderedIterator::operator*().
const Data& CVC3::CDOmap::get | ( | ) | const [inline] |
Definition at line 106 of file cdmap.h.
Referenced by CVC3::CDMap::orderedIterator::operator*(), CVC3::TheoryArith3::updateSubsumptionDB(), CVC3::TheoryArithOld::updateSubsumptionDB(), CVC3::TheoryArithOld::DifferenceLogicGraph::getEdge(), CVC3::TheoryArithOld::DifferenceLogicGraph::addEdge(), and CVC3::TheoryArithOld::DifferenceLogicGraph::analyseConflict().
CDOmap<Key, Data, HashFcn>& CVC3::CDOmap::operator= | ( | const Data & | data | ) | [inline] |
CDOmap<Key, Data, HashFcn>* CVC3::CDOmap::next | ( | ) | const [inline] |
Definition at line 109 of file cdmap.h.
Referenced by CVC3::CDMap::orderedIterator::operator++().
Key CVC3::CDOmap::d_key [private] |
Definition at line 50 of file cdmap.h.
Referenced by CVC3::CDOmap< Key, Data, HashFcn >::setNull(), and CVC3::CDOmap< Key, Data, HashFcn >::getKey().
Data CVC3::CDOmap::d_data [private] |
Definition at line 51 of file cdmap.h.
Referenced by CVC3::CDOmap< Key, Data, HashFcn >::restoreData(), CVC3::CDOmap< Key, Data, HashFcn >::set(), and CVC3::CDOmap< Key, Data, HashFcn >::get().
bool CVC3::CDOmap::d_inMap [private] |
Definition at line 52 of file cdmap.h.
Referenced by CVC3::CDOmap< Key, Data, HashFcn >::restoreData(), and CVC3::CDOmap< Key, Data, HashFcn >::set().
CDMap<Key, Data, HashFcn>* CVC3::CDOmap::d_cdmap [private] |
Definition at line 53 of file cdmap.h.
Referenced by CVC3::CDOmap< Key, Data, HashFcn >::setNull(), CVC3::CDOmap< Key, Data, HashFcn >::CDOmap(), and CVC3::CDOmap< Key, Data, HashFcn >::next().
CDOmap<Key, Data, HashFcn>* CVC3::CDOmap::d_prev [private] |
Definition at line 56 of file cdmap.h.
Referenced by CVC3::CDOmap< Key, Data, HashFcn >::setNull(), and CVC3::CDOmap< Key, Data, HashFcn >::CDOmap().
CDOmap<Key, Data, HashFcn>* CVC3::CDOmap::d_next [private] |
Definition at line 57 of file cdmap.h.
Referenced by CVC3::CDOmap< Key, Data, HashFcn >::setNull(), CVC3::CDOmap< Key, Data, HashFcn >::CDOmap(), and CVC3::CDOmap< Key, Data, HashFcn >::next().