#include <hash_map.h>
Public Types
- typedef _hash_table::size_type size_type
- typedef _hash_table::key_type key_type
- typedef _Data data_type
- typedef _hash_table::value_type value_type
- typedef _hash_table::hasher hasher
- typedef _hash_table::key_equal key_equal
- typedef _hash_table::iterator iterator
- typedef _hash_table::const_iterator const_iterator
Public Member Functions
- hash_map ()
- hash_map (size_type initial_capacity)
- hash_map (size_type initial_capacity, const _HashFcn &hash)
- hash_map (size_type initial_capacity, const _HashFcn &hash, const _EqualKey &equal)
- hash_map (const hash_map &other)
- hash_map & operator= (const hash_map &other)
- void swap (hash_map &other)
- void clear ()
- iterator find (const key_type &key)
- const_iterator find (const key_type &key) const
- data_type & operator[] (const key_type &key)
- std::pair< iterator, bool > insert (const value_type &entry)
- size_type erase (const key_type &key)
- const_iterator erase (const const_iterator &i)
- bool contains (const key_type &key) const
- size_type count (const _Key &key) const
- bool empty () const
- size_type size () const
- size_type bucket_count () const
- float load_factor () const
- iterator begin ()
- const_iterator begin () const
- iterator end ()
- const_iterator end () const
Protected Types
- typedef hash_table< _Key,
std::pair< const _Key, _Data >
, _HashFcn, _EqualKey,
_Select1st< std::pair< const
_Key, _Data > > > _hash_table
Protected Attributes
Detailed Description
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
class Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >
hash map implementation based on the sgi interface: http://www.sgi.com/tech/stl/hash_map.html
_Key: hash key type _Data: data to store _HashFcn: functional class providing a hash function: size_type (_Key) _EqualKey: functional class providing a comparison function: bool(_Key, _Key) returns true iff two keys are considered to be equal
Definition at line 82 of file hash_map.h.
Member Typedef Documentation
typedef hash_table<_Key, std::pair<const _Key, _Data>, _HashFcn, _EqualKey, _Select1st<std::pair<const _Key, _Data> > > Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::_hash_table [protected] |
types
Definition at line 93 of file hash_map.h.
| typedef _hash_table::size_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::size_type |
Definition at line 97 of file hash_map.h.
| typedef _hash_table::key_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::key_type |
Definition at line 98 of file hash_map.h.
| typedef _Data Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::data_type |
Definition at line 99 of file hash_map.h.
| typedef _hash_table::value_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::value_type |
Definition at line 100 of file hash_map.h.
| typedef _hash_table::hasher Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::hasher |
Definition at line 101 of file hash_map.h.
| typedef _hash_table::key_equal Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::key_equal |
Definition at line 102 of file hash_map.h.
| typedef _hash_table::iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::iterator |
Definition at line 106 of file hash_map.h.
| typedef _hash_table::const_iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::const_iterator |
Definition at line 107 of file hash_map.h.
Constructor & Destructor Documentation
| Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::hash_map | ( | ) | [inline] |
| Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::hash_map | ( | size_type | initial_capacity | ) | [inline] |
Definition at line 127 of file hash_map.h.
| Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::hash_map | ( | size_type | initial_capacity, |
| const _HashFcn & | hash | ||
| ) | [inline] |
Definition at line 132 of file hash_map.h.
| Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::hash_map | ( | size_type | initial_capacity, |
| const _HashFcn & | hash, | ||
| const _EqualKey & | equal | ||
| ) | [inline] |
Definition at line 137 of file hash_map.h.
| Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::hash_map | ( | const hash_map< _Key, _Data, _HashFcn, _EqualKey > & | other | ) | [inline] |
Definition at line 143 of file hash_map.h.
Member Function Documentation
| hash_map& Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::operator= | ( | const hash_map< _Key, _Data, _HashFcn, _EqualKey > & | other | ) | [inline] |
Definition at line 148 of file hash_map.h.
| void Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::swap | ( | hash_map< _Key, _Data, _HashFcn, _EqualKey > & | other | ) | [inline] |
Definition at line 156 of file hash_map.h.
| void Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::clear | ( | ) | [inline] |
Definition at line 161 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< Circuit * > >::clear(), CVC3::TheoremManager::clearAllFlags(), and CVC3::CDMap< Expr, Expr, HashFcn >::setNull().
| iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::find | ( | const key_type & | key | ) | [inline] |
operations
Definition at line 171 of file hash_map.h.
Referenced by CVC3::Theory::addBoundVar(), CVC3::TheoryArithNew::checkSatSimplex(), MiniSat::Derivation::createProof(), CVC3::TheoryQuant::enqueueInst(), CVC3::ExprHashMap< std::vector< Circuit * > >::find(), CVC3::CDMap< Expr, Expr, HashFcn >::find(), CVC3::Translator::fixConstName(), CVC3::TheoremManager::getCachedValue(), CVC3::TheoremManager::getExpandFlag(), CVC3::ExprManager::getKind(), CVC3::TheoremManager::getLitFlag(), CVC3::TheoryCore::getTheoremForTerm(), CVC3::TheoryArithNew::getVariableIntroThm(), CVC3::CDMap< Expr, Expr, HashFcn >::insert(), CVC3::TheoryArithNew::isBasic(), CVC3::CDMap< Expr, Expr, HashFcn >::operator[](), CVC3::TheoryCore::parseExpr(), CVC3::TheoryArithNew::pivot(), CVC3::TheoryArithNew::pivotAndUpdate(), CVC3::TheoryCore::registerAtom(), CVC3::Theory::resolveID(), SAT::CNF_Formula_Impl::simplify(), CVC3::TheoryArithNew::substAndCanonizeModTableaux(), CVC3::TheoryArithNew::substAndCanonizeTableaux(), and CVC3::TheoryArithNew::update().
| const_iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::find | ( | const key_type & | key | ) | const [inline] |
Definition at line 176 of file hash_map.h.
| data_type& Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::operator[] | ( | const key_type & | key | ) | [inline] |
Definition at line 183 of file hash_map.h.
| std::pair<iterator, bool> Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::insert | ( | const value_type & | entry | ) | [inline] |
Definition at line 190 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< Circuit * > >::insert(), CVC3::TheoryArithNew::updateDependencies(), and CVC3::TheoryArithNew::updateDependenciesAdd().
| size_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::erase | ( | const key_type & | key | ) | [inline] |
Definition at line 197 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< Circuit * > >::erase(), CVC3::TheoryCore::parseExpr(), CVC3::TheoryArithNew::pivot(), CVC3::Theory::unregisterKinds(), CVC3::TheoryArithNew::updateDependencies(), and CVC3::TheoryArithNew::updateDependenciesRemove().
| const_iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::erase | ( | const const_iterator & | i | ) | [inline] |
Definition at line 203 of file hash_map.h.
| bool Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::contains | ( | const key_type & | key | ) | const [inline] |
status
Definition at line 211 of file hash_map.h.
Referenced by MiniSat::Derivation::createProof(), MiniSat::Derivation::registerClause(), and MiniSat::Derivation::registerInference().
| size_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::count | ( | const _Key & | key | ) | const [inline] |
Definition at line 217 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< Circuit * > >::count(), CVC3::CDMap< Expr, Expr, HashFcn >::count(), CVC3::ExprManager::getKindName(), CVC3::Theory::hasTheory(), CVC3::TheoremManager::isFlagged(), CVC3::ExprManager::newKind(), CVC3::Theory::registerKinds(), and CVC3::Theory::theoryOf().
| bool Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::empty | ( | ) | const [inline] |
Definition at line 222 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< Circuit * > >::empty(), and CVC3::TheoryArithNew::substAndCanonizeModTableaux().
| size_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::size | ( | ) | const [inline] |
Definition at line 227 of file hash_map.h.
Referenced by CVC3::TheoryArithNew::checkSatSimplex(), CVC3::ExprHashMap< std::vector< Circuit * > >::size(), and CVC3::CDMap< Expr, Expr, HashFcn >::size().
| size_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::bucket_count | ( | ) | const [inline] |
Definition at line 232 of file hash_map.h.
| float Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::load_factor | ( | ) | const [inline] |
Definition at line 237 of file hash_map.h.
| iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::begin | ( | ) | [inline] |
iterators
Definition at line 246 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< Circuit * > >::begin(), CVC3::CDMap< Expr, Expr, HashFcn >::begin(), CVC3::TheoryArithNew::boundsAsString(), CVC3::CDMap< Expr, Expr, HashFcn >::setNull(), and CVC3::TheoryArithNew::tableauxAsString().
| const_iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::begin | ( | ) | const [inline] |
Definition at line 251 of file hash_map.h.
| iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::end | ( | ) | [inline] |
Definition at line 257 of file hash_map.h.
Referenced by CVC3::Theory::addBoundVar(), CVC3::TheoryArithNew::boundsAsString(), CVC3::ExprHashMap< std::vector< Circuit * > >::end(), CVC3::CDMap< Expr, Expr, HashFcn >::end(), CVC3::TheoryQuant::enqueueInst(), CVC3::Translator::fixConstName(), CVC3::TheoremManager::getCachedValue(), CVC3::TheoremManager::getExpandFlag(), CVC3::ExprManager::getKind(), CVC3::TheoremManager::getLitFlag(), CVC3::TheoryCore::getTheoremForTerm(), CVC3::TheoryArithNew::getVariableIntroThm(), CVC3::CDMap< Expr, Expr, HashFcn >::insert(), CVC3::TheoryArithNew::isBasic(), CVC3::CDMap< Expr, Expr, HashFcn >::operator[](), CVC3::TheoryCore::parseExpr(), CVC3::TheoryArithNew::pivotAndUpdate(), CVC3::TheoryCore::registerAtom(), CVC3::Theory::resolveID(), CVC3::CDMap< Expr, Expr, HashFcn >::setNull(), SAT::CNF_Formula_Impl::simplify(), CVC3::TheoryArithNew::substAndCanonizeModTableaux(), CVC3::TheoryArithNew::substAndCanonizeTableaux(), CVC3::TheoryArithNew::tableauxAsString(), and CVC3::TheoryArithNew::update().
| const_iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::end | ( | ) | const [inline] |
Definition at line 262 of file hash_map.h.
Member Data Documentation
_hash_table Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::d_table [protected] |
variables
Definition at line 113 of file hash_map.h.
Referenced by Hash::hash_map< long, int >::begin(), Hash::hash_map< long, int >::bucket_count(), Hash::hash_map< long, int >::clear(), Hash::hash_map< long, int >::contains(), Hash::hash_map< long, int >::count(), Hash::hash_map< long, int >::empty(), Hash::hash_map< long, int >::end(), Hash::hash_map< long, int >::erase(), Hash::hash_map< long, int >::find(), Hash::hash_map< long, int >::insert(), Hash::hash_map< long, int >::load_factor(), Hash::hash_map< long, int >::operator=(), Hash::hash_map< long, int >::operator[](), Hash::hash_map< long, int >::size(), and Hash::hash_map< long, int >::swap().
The documentation for this class was generated from the following file:
