CVC3
2.4.1
|
#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 () | |
methods More... | |
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) |
operations More... | |
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 |
status More... | |
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 () |
iterators More... | |
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 |
types More... | |
Protected Attributes | |
_hash_table | d_table |
variables More... | |
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.
|
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.
|
inline |
|
inline |
Definition at line 127 of file hash_map.h.
|
inline |
Definition at line 132 of file hash_map.h.
|
inline |
Definition at line 137 of file hash_map.h.
|
inline |
Definition at line 143 of file hash_map.h.
|
inline |
Definition at line 148 of file hash_map.h.
|
inline |
Definition at line 156 of file hash_map.h.
|
inline |
Definition at line 161 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< CVC3::Circuit * > >::clear(), CVC3::TheoremManager::clearAllFlags(), and CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::setNull().
|
inline |
operations
Definition at line 171 of file hash_map.h.
Referenced by CVC3::TheoryArithNew::checkSatSimplex(), MiniSat::Derivation::createProof(), CVC3::TheoryQuant::enqueueInst(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::find(), CVC3::ExprHashMap< std::vector< CVC3::Circuit * > >::find(), CVC3::TheoremManager::getCachedValue(), CVC3::TheoremManager::getExpandFlag(), CVC3::TheoremManager::getLitFlag(), CVC3::TheoryCore::getTheoremForTerm(), CVC3::TheoryArithNew::getVariableIntroThm(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::insert(), CVC3::TheoryArithNew::isBasic(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::operator[](), CVC3::TheoryArithNew::pivot(), CVC3::TheoryArithNew::pivotAndUpdate(), CVC3::TheoryCore::registerAtom(), SAT::CNF_Formula_Impl::simplify(), CVC3::TheoryArithNew::substAndCanonizeModTableaux(), CVC3::TheoryArithNew::substAndCanonizeTableaux(), and CVC3::TheoryArithNew::update().
|
inline |
Definition at line 176 of file hash_map.h.
|
inline |
Definition at line 183 of file hash_map.h.
|
inline |
Definition at line 190 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< CVC3::Circuit * > >::insert(), CVC3::TheoryArithNew::updateDependencies(), and CVC3::TheoryArithNew::updateDependenciesAdd().
|
inline |
Definition at line 197 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< CVC3::Circuit * > >::erase(), CVC3::TheoryArithNew::pivot(), CVC3::TheoryArithNew::updateDependencies(), and CVC3::TheoryArithNew::updateDependenciesRemove().
|
inline |
Definition at line 203 of file hash_map.h.
|
inline |
status
Definition at line 211 of file hash_map.h.
Referenced by MiniSat::Derivation::createProof(), MiniSat::Derivation::registerClause(), and MiniSat::Derivation::registerInference().
|
inline |
Definition at line 217 of file hash_map.h.
Referenced by CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::count(), CVC3::ExprHashMap< std::vector< CVC3::Circuit * > >::count(), CVC3::ExprManager::getKindName(), CVC3::TheoremManager::isFlagged(), CVC3::ExprManager::isKindRegistered(), and CVC3::ExprManager::newKind().
|
inline |
Definition at line 222 of file hash_map.h.
Referenced by CVC3::ExprHashMap< std::vector< CVC3::Circuit * > >::empty(), and CVC3::TheoryArithNew::substAndCanonizeModTableaux().
|
inline |
Definition at line 227 of file hash_map.h.
Referenced by CVC3::TheoryArithNew::checkSatSimplex(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::size(), and CVC3::ExprHashMap< std::vector< CVC3::Circuit * > >::size().
|
inline |
Definition at line 232 of file hash_map.h.
|
inline |
Definition at line 237 of file hash_map.h.
|
inline |
iterators
Definition at line 246 of file hash_map.h.
Referenced by CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::begin(), CVC3::ExprHashMap< std::vector< CVC3::Circuit * > >::begin(), CVC3::TheoryArithNew::boundsAsString(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::setNull(), and CVC3::TheoryArithNew::tableauxAsString().
|
inline |
Definition at line 251 of file hash_map.h.
|
inline |
Definition at line 257 of file hash_map.h.
Referenced by CVC3::TheoryArithNew::boundsAsString(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::end(), CVC3::ExprHashMap< std::vector< CVC3::Circuit * > >::end(), CVC3::TheoryQuant::enqueueInst(), CVC3::TheoremManager::getCachedValue(), CVC3::TheoremManager::getExpandFlag(), CVC3::TheoremManager::getLitFlag(), CVC3::TheoryCore::getTheoremForTerm(), CVC3::TheoryArithNew::getVariableIntroThm(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::insert(), CVC3::TheoryArithNew::isBasic(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::operator[](), CVC3::TheoryArithNew::pivotAndUpdate(), CVC3::TheoryCore::registerAtom(), CVC3::CDMap< CVC3::Expr, CVC3::Expr, HashFcn >::setNull(), SAT::CNF_Formula_Impl::simplify(), CVC3::TheoryArithNew::substAndCanonizeModTableaux(), CVC3::TheoryArithNew::substAndCanonizeTableaux(), CVC3::TheoryArithNew::tableauxAsString(), and CVC3::TheoryArithNew::update().
|
inline |
Definition at line 262 of file hash_map.h.
|
protected |
variables
Definition at line 113 of file hash_map.h.
Referenced by Hash::hash_map< long, int >::operator=(), and Hash::hash_map< long, int >::swap().