CVC3  2.4.1
Classes | Public Member Functions | Private Types | Private Attributes | List of all members
CVC3::ExprHashMap< Data > Class Template Reference

#include <expr.h>

Classes

class  const_iterator
 
class  iterator
 

Public Member Functions

 ExprHashMap ()
 Default constructor. More...
 
 ExprHashMap (size_t n)
 Constructor specifying the initial number of buckets. More...
 
 ExprHashMap (const ExprHashMap &map)
 
bool empty () const
 
size_t size () const
 
size_t count (const Expr &e) const
 
Data & operator[] (const Expr &e)
 
void clear ()
 
void insert (const Expr &e, const Data &d)
 
void erase (const Expr &e)
 
template<class InputIterator >
void insert (InputIterator l, InputIterator r)
 
template<class InputIterator >
void erase (InputIterator l, InputIterator r)
 
iterator begin ()
 
iterator end ()
 
const_iterator begin () const
 
const_iterator end () const
 
iterator find (const Expr &e)
 
const_iterator find (const Expr &e) const
 

Private Types

typedef std::hash_map< Expr, Data > ExprHashMapType
 

Private Attributes

ExprHashMapType d_map
 

Detailed Description

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

Definition at line 53 of file expr.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

Definition at line 308 of file expr_map.h.

Referenced by CVC3::Expr::recursiveSubst().

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

Definition at line 211 of file expr_map.h.


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