CVC3  2.4.1
Classes | Public Member Functions | Private Member Functions | Private Attributes | Friends
CVC3::CDMapOrdered Class Reference

#include <cdmap_ordered.h>

Inheritance diagram for CVC3::CDMapOrdered:
CVC3::ContextObj

List of all members.

Classes

Public Member Functions

Private Member Functions

Private Attributes

Friends


Constructor & Destructor Documentation

CVC3::CDMapOrdered::CDMapOrdered ( Context context,
int  scope = -1 
) [inline]

Definition at line 160 of file cdmap_ordered.h.

CVC3::CDMapOrdered::~CDMapOrdered ( ) [inline]

Definition at line 164 of file cdmap_ordered.h.


Member Function Documentation

virtual ContextObj* CVC3::CDMapOrdered::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 138 of file cdmap_ordered.h.

virtual void CVC3::CDMapOrdered::restoreData ( ContextObj data) [inline, private, virtual]

Restore the current object from the given data.

Reimplemented from CVC3::ContextObj.

Definition at line 141 of file cdmap_ordered.h.

void CVC3::CDMapOrdered::emptyTrash ( ) [inline, private]
virtual void CVC3::CDMapOrdered::setNull ( void  ) [inline, private, virtual]

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 151 of file cdmap_ordered.h.

Referenced by CVC3::CDMapOrdered< Key, Data >::~CDMapOrdered().

size_t CVC3::CDMapOrdered::size ( ) const [inline]

Definition at line 166 of file cdmap_ordered.h.

size_t CVC3::CDMapOrdered::count ( const Key &  k) const [inline]

Definition at line 167 of file cdmap_ordered.h.

CDOmapOrdered<Key,Data>& CVC3::CDMapOrdered::operator[] ( const Key &  k) [inline]

Definition at line 170 of file cdmap_ordered.h.

void CVC3::CDMapOrdered::insert ( const Key &  k,
const Data &  d,
int  scope = -1 
) [inline]

Definition at line 183 of file cdmap_ordered.h.

iterator CVC3::CDMapOrdered::begin ( ) const [inline]

Definition at line 250 of file cdmap_ordered.h.

iterator CVC3::CDMapOrdered::end ( ) const [inline]

Definition at line 251 of file cdmap_ordered.h.

orderedIterator CVC3::CDMapOrdered::orderedBegin ( ) const [inline]

Definition at line 293 of file cdmap_ordered.h.

orderedIterator CVC3::CDMapOrdered::orderedEnd ( ) const [inline]

Definition at line 294 of file cdmap_ordered.h.

iterator CVC3::CDMapOrdered::find ( const Key &  k) const [inline]

Definition at line 296 of file cdmap_ordered.h.


Friends And Related Function Documentation

friend class CDOmapOrdered< Key, Data > [friend]

Definition at line 129 of file cdmap_ordered.h.


Member Data Documentation


The documentation for this class was generated from the following file: