CVCL::ExprHashMap< Data > Class Template Reference

#include <expr_map.h>

Inheritance diagram for CVCL::ExprHashMap< Data >:

[legend]List of all members.

Public Member Functions

• ExprHashMap ()

  Default constructor.
  

• ExprHashMap (size_t n)

  Constructor specifying the initial number of buckets.
  

• ExprHashMap (const ExprHashMap &map)
• bool empty () const
• size_t size () const
• int 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 () const
• iterator end () const
• iterator find (const Expr &e) const

Private Types

• typedef std::hash_map< Expr,
  Data > ExprHashMapType

Private Attributes

• ExprHashMapType d_map

Friends

• bool operator== (const ExprHashMap &m1, const ExprHashMap &m2)
• bool operator!= (const ExprHashMap &m1, const ExprHashMap &m2)

Classes

• class iterator

---

Detailed Description

template<class Data>
class CVCL::ExprHashMap< Data >

Definition at line 168 of file expr_map.h.

---

Member Typedef Documentation

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

Definition at line 171 of file expr_map.h.

---

Constructor & Destructor Documentation

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

Default constructor. Definition at line 228 of file expr_map.h.

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

Constructor specifying the initial number of buckets. Definition at line 230 of file expr_map.h.

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

Definition at line 232 of file expr_map.h.

---

Member Function Documentation

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

Definition at line 235 of file expr_map.h.

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

Definition at line 236 of file expr_map.h. Referenced by TheoryCore::collectBasicVars(), CVCL::TheoryUF::computeModel(), CVCL::TheoryArray::computeModel(), CVCL::ExprManager::rebuild(), and CVCL::Expr::substExpr().

template<class Data> int CVCL::ExprHashMap< Data >::count (  const Expr &  e  )  const [inline]

Definition at line 238 of file expr_map.h. Referenced by TheoryCore::assignValue(), TheoryCore::buildModel(), TheoryCore::collectBasicVars(), TheoryCore::collectModelValues(), and CVCL::Expr::recursiveSubst().

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

Definition at line 239 of file expr_map.h.

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

Definition at line 240 of file expr_map.h. Referenced by CVCL::SearchSimple::checkValidMain(), CVCL::SearchEngineFast::checkValidMain(), TheoryCore::collectBasicVars(), CVCL::SearchImplBase::processResult(), CVCL::ExprManager::rebuild(), and CVCL::Expr::recursiveSubst().

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

Definition at line 242 of file expr_map.h. Referenced by TheoryCore::buildModel(), CVCL::Expr::recursiveSubst(), CVCL::CoreTheoremProducer::rewriteAndSubterms(), and CVCL::CoreTheoremProducer::rewriteOrSubterms().

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

Definition at line 243 of file expr_map.h. Referenced by CVCL::SearchImplBase::processResult(), and CVCL::Expr::recursiveSubst().

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

Definition at line 246 of file expr_map.h.

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

Definition at line 249 of file expr_map.h.

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

Definition at line 255 of file expr_map.h. Referenced by TheoryCore::collectModelValues(), CVCL::TheoryUF::computeModel(), CVCL::TheoryArray::computeModel(), TheoryCore::computeModelBasic(), TheoryCore::print(), CVCL::Expr::recursiveSubst(), and CVCL::Expr::substExpr().

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

Definition at line 256 of file expr_map.h. Referenced by TheoryCore::buildModel(), TheoryCore::collectModelValues(), CVCL::TheoryUF::computeModel(), CVCL::TheoryArray::computeModel(), CVCL::ExprManager::rebuildRec(), CVCL::Expr::recursiveSubst(), and CVCL::Expr::substExpr().

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

Definition at line 257 of file expr_map.h. Referenced by TheoryCore::buildModel(), TheoryCore::collectModelValues(), and CVCL::ExprManager::rebuildRec().

---

Friends And Related Function Documentation

template<class Data> bool operator== (  const ExprHashMap< Data > &  m1, const ExprHashMap< Data > &  m2 )  [friend]

Definition at line 259 of file expr_map.h.

template<class Data> bool operator!= (  const ExprHashMap< Data > &  m1, const ExprHashMap< Data > &  m2 )  [friend]

Definition at line 262 of file expr_map.h.

---

Member Data Documentation

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

Definition at line 173 of file expr_map.h. Referenced by CVCL::ExprHashMap< std::vector< Expr > >::begin(), CVCL::ExprHashMap< std::vector< Expr > >::clear(), CVCL::ExprHashMap< std::vector< Expr > >::count(), CVCL::ExprHashMap< std::vector< Expr > >::empty(), CVCL::ExprHashMap< std::vector< Expr > >::end(), CVCL::ExprHashMap< std::vector< Expr > >::erase(), CVCL::ExprHashMap< std::vector< Expr > >::find(), CVCL::ExprHashMap< std::vector< Expr > >::insert(), CVCL::ExprHashMap< std::vector< Expr > >::operator[](), and CVCL::ExprHashMap< std::vector< Expr > >::size().

---

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

• expr_map.h

---