CVC3  2.4.1
Classes | Public Member Functions | Private Types | Private Attributes
CVC3::ExprHashMap Class Reference

#include <expr_map.h>

List of all members.

Classes

Public Member Functions

Private Types

Private Attributes


Member Typedef Documentation

Definition at line 209 of file expr_map.h.


Constructor & Destructor Documentation

CVC3::ExprHashMap::ExprHashMap ( ) [inline]

Default constructor.

Definition at line 298 of file expr_map.h.

CVC3::ExprHashMap::ExprHashMap ( size_t  n) [inline]

Constructor specifying the initial number of buckets.

Definition at line 300 of file expr_map.h.

CVC3::ExprHashMap::ExprHashMap ( const ExprHashMap map) [inline]

Definition at line 302 of file expr_map.h.


Member Function Documentation

bool CVC3::ExprHashMap::empty ( ) const [inline]

Definition at line 305 of file expr_map.h.

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

size_t CVC3::ExprHashMap::size ( ) const [inline]
size_t CVC3::ExprHashMap::count ( const Expr e) const [inline]
Data& CVC3::ExprHashMap::operator[] ( const Expr e) [inline]

Definition at line 309 of file expr_map.h.

void CVC3::ExprHashMap::clear ( ) [inline]
void CVC3::ExprHashMap::insert ( const Expr e,
const Data &  d 
) [inline]
void CVC3::ExprHashMap::erase ( const Expr e) [inline]

Definition at line 313 of file expr_map.h.

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

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

Definition at line 316 of file expr_map.h.

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

Definition at line 319 of file expr_map.h.

iterator CVC3::ExprHashMap::begin ( ) [inline]
iterator CVC3::ExprHashMap::end ( ) [inline]
const_iterator CVC3::ExprHashMap::begin ( ) const [inline]

Definition at line 327 of file expr_map.h.

const_iterator CVC3::ExprHashMap::end ( ) const [inline]

Definition at line 328 of file expr_map.h.

iterator CVC3::ExprHashMap::find ( const Expr e) [inline]
const_iterator CVC3::ExprHashMap::find ( const Expr e) const [inline]

Definition at line 330 of file expr_map.h.


Member Data Documentation


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