Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey > Class Template Reference

#include <hash_map.h>

Inheritance diagram for Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >:

Inheritance graph
[legend]
Collaboration diagram for Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >:

Collaboration graph
[legend]
List of all members.

Public Types

Public Member Functions

Protected Types

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

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
typedef _hash_table::size_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::size_type

Definition at line 97 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
typedef _hash_table::key_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::key_type

Definition at line 98 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
typedef _Data Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::data_type

Definition at line 99 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
typedef _hash_table::value_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::value_type

Definition at line 100 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
typedef _hash_table::hasher Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::hasher

Definition at line 101 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
typedef _hash_table::key_equal Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::key_equal

Definition at line 102 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
typedef _hash_table::iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::iterator

Definition at line 106 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::hash_map (  )  [inline]

constructors

Definition at line 122 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::hash_map ( size_type  initial_capacity  )  [inline]

Definition at line 127 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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(), SAT::CNF_Formula_Impl::reset(), and CVC3::CDMap< Expr, Expr, HashFcn >::setNull().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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(), MiniSat::Derivation::checkDerivation(), CVC3::TheoryArithNew::checkSatSimplex(), MiniSat::Derivation::computeRootReason(), MiniSat::Derivation::createProof(), CVC3::ExprHashMap< std::vector< Circuit * > >::find(), CVC3::CDMap< Expr, Expr, HashFcn >::find(), 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(), MiniSat::Derivation::printDerivation(), CVC3::TheoryCore::registerAtom(), CVC3::Theory::resolveID(), SAT::CNF_Formula_Impl::simplify(), CVC3::TheoryArithNew::substAndCanonizeModTableaux(), CVC3::TheoryArithNew::substAndCanonizeTableaux(), and CVC3::TheoryArithNew::update().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
data_type& Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::operator[] ( const key_type key  )  [inline]

Definition at line 183 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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(), and CVC3::TheoryArithNew::updateDependencies().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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(), MiniSat::Derivation::pop(), CVC3::Theory::unregisterKinds(), and CVC3::TheoryArithNew::updateDependencies().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
const_iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::erase ( const const_iterator i  )  [inline]

Definition at line 203 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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::checkDerivation(), MiniSat::Derivation::createProof(), MiniSat::Derivation::pop(), MiniSat::Derivation::registerClause(), and MiniSat::Derivation::registerInference().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
size_type Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::bucket_count (  )  const [inline]

Definition at line 232 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
float Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::load_factor (  )  const [inline]

Definition at line 237 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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(), MiniSat::Derivation::pop(), CVC3::CDMap< Expr, Expr, HashFcn >::setNull(), CVC3::TheoryArithNew::tableauxAsString(), and MiniSat::Derivation::~Derivation().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
const_iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::begin (  )  const [inline]

Definition at line 251 of file hash_map.h.

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
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(), MiniSat::Derivation::checkDerivation(), MiniSat::Derivation::computeRootReason(), MiniSat::Derivation::createProof(), CVC3::ExprHashMap< std::vector< Circuit * > >::end(), CVC3::CDMap< Expr, Expr, HashFcn >::end(), 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(), MiniSat::Derivation::pop(), MiniSat::Derivation::printDerivation(), 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(), CVC3::TheoryArithNew::update(), and MiniSat::Derivation::~Derivation().

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
const_iterator Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >::end (  )  const [inline]

Definition at line 262 of file hash_map.h.


Member Data Documentation

template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>>
_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:
Generated on Wed Nov 18 16:18:42 2009 for CVC3 by  doxygen 1.5.2