CVC3::ExprHashMap< Data > Class Template Reference

#include <expr_map.h>

Inheritance diagram for CVC3::ExprHashMap< Data >:

Inheritance graph
[legend]
Collaboration diagram for CVC3::ExprHashMap< Data >:

Collaboration graph
[legend]

List of all members.

Classes

Public Member Functions

Private Types

Private Attributes


Detailed Description

template<class Data>
class CVC3::ExprHashMap< Data >

Definition at line 206 of file expr_map.h.


Member Typedef Documentation

template<class Data>
typedef std::hash_map<Expr, Data> CVC3::ExprHashMap< Data >::ExprHashMapType [private]

Definition at line 209 of file expr_map.h.


Constructor & Destructor Documentation

template<class Data>
CVC3::ExprHashMap< Data >::ExprHashMap (  )  [inline]

Default constructor.

Definition at line 298 of file expr_map.h.

template<class Data>
CVC3::ExprHashMap< Data >::ExprHashMap ( size_t  n  )  [inline]

Constructor specifying the initial number of buckets.

Definition at line 300 of file expr_map.h.

template<class Data>
CVC3::ExprHashMap< Data >::ExprHashMap ( const ExprHashMap< Data > &  map  )  [inline]

Definition at line 302 of file expr_map.h.


Member Function Documentation

template<class Data>
bool CVC3::ExprHashMap< Data >::empty (  )  const [inline]

Definition at line 305 of file expr_map.h.

Referenced by CVC3::SearchEngineTheoremProducer::conflictClause().

template<class Data>
size_t CVC3::ExprHashMap< Data >::size (  )  const [inline]

template<class Data>
size_t CVC3::ExprHashMap< Data >::count ( const Expr e  )  const [inline]

template<class Data>
Data& CVC3::ExprHashMap< Data >::operator[] ( const Expr e  )  [inline]

Definition at line 309 of file expr_map.h.

template<class Data>
void CVC3::ExprHashMap< Data >::clear (  )  [inline]

template<class Data>
void CVC3::ExprHashMap< Data >::insert ( const Expr e,
const Data &  d 
) [inline]

template<class Data>
void CVC3::ExprHashMap< Data >::erase ( const Expr e  )  [inline]

Definition at line 313 of file expr_map.h.

Referenced by CVC3::SearchImplBase::processResult().

template<class Data>
template<class InputIterator >
void CVC3::ExprHashMap< Data >::insert ( InputIterator  l,
InputIterator  r 
) [inline]

Definition at line 316 of file expr_map.h.

template<class Data>
template<class InputIterator >
void CVC3::ExprHashMap< Data >::erase ( InputIterator  l,
InputIterator  r 
) [inline]

Definition at line 319 of file expr_map.h.

template<class Data>
iterator CVC3::ExprHashMap< Data >::begin (  )  [inline]

template<class Data>
iterator CVC3::ExprHashMap< Data >::end (  )  [inline]

template<class Data>
const_iterator CVC3::ExprHashMap< Data >::begin (  )  const [inline]

Definition at line 327 of file expr_map.h.

template<class Data>
const_iterator CVC3::ExprHashMap< Data >::end (  )  const [inline]

Definition at line 328 of file expr_map.h.

template<class Data>
iterator CVC3::ExprHashMap< Data >::find ( const Expr e  )  [inline]

template<class Data>
const_iterator CVC3::ExprHashMap< Data >::find ( const Expr e  )  const [inline]

Definition at line 330 of file expr_map.h.


Member Data Documentation

template<class Data>
ExprHashMapType CVC3::ExprHashMap< Data >::d_map [private]


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

Generated on Thu Oct 15 22:18:42 2009 for CVC3 by  doxygen 1.5.8