CVC3
2.4.1
|
#include <hash_set.h>
hash set implementation based on the sgi interface: http://www.sgi.com/tech/stl/hash_set.html
_Key: hash key type _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
typedef hash_table<_Key, _Key, _HashFcn, _EqualKey, _Identity<_Key> > Hash::hash_set::_hash_table [protected] |
types
Definition at line 82 of file hash_set.h.
Definition at line 86 of file hash_set.h.
Definition at line 87 of file hash_set.h.
Definition at line 88 of file hash_set.h.
Definition at line 89 of file hash_set.h.
Definition at line 90 of file hash_set.h.
typedef _hash_table::iterator Hash::hash_set::iterator |
Definition at line 94 of file hash_set.h.
typedef _hash_table::const_iterator Hash::hash_set::const_iterator |
Definition at line 95 of file hash_set.h.
Hash::hash_set::hash_set | ( | ) | [inline] |
Hash::hash_set::hash_set | ( | size_type | initial_capacity | ) | [inline] |
Definition at line 117 of file hash_set.h.
Hash::hash_set::hash_set | ( | size_type | initial_capacity, |
const _HashFcn & | hash | ||
) | [inline] |
Definition at line 122 of file hash_set.h.
Hash::hash_set::hash_set | ( | size_type | initial_capacity, |
const _HashFcn & | hash, | ||
const _EqualKey & | equal | ||
) | [inline] |
Definition at line 127 of file hash_set.h.
Hash::hash_set::hash_set | ( | const hash_set & | other | ) | [inline] |
Definition at line 133 of file hash_set.h.
Definition at line 138 of file hash_set.h.
void Hash::hash_set::swap | ( | hash_set & | other | ) | [inline] |
Definition at line 146 of file hash_set.h.
void Hash::hash_set::clear | ( | ) | [inline] |
Definition at line 151 of file hash_set.h.
Referenced by CVC3::ExprManager::clear(), and CVC3::VariableManager::~VariableManager().
operations
Definition at line 161 of file hash_set.h.
Referenced by CVC3::ExprManager::rebuildRec(), and CVC3::ExprManager::newExprValue().
const_iterator Hash::hash_set::find | ( | const key_type & | key | ) | const [inline] |
Definition at line 166 of file hash_set.h.
std::pair<iterator, bool> Hash::hash_set::insert | ( | const value_type & | entry | ) | [inline] |
Definition at line 173 of file hash_set.h.
Referenced by CVC3::ExprManager::rebuildRec(), CVC3::ExprManager::newExprValue(), CVC3::ExprManager::newKind(), MiniSat::Derivation::registerInputClause(), and CVC3::TheoryArray::checkSat().
Definition at line 180 of file hash_set.h.
Referenced by CVC3::ExprManager::gc(), and CVC3::VariableManager::gc().
bool Hash::hash_set::contains | ( | const key_type & | key | ) | const [inline] |
status
Definition at line 189 of file hash_set.h.
size_type Hash::hash_set::count | ( | const _Key & | key | ) | const [inline] |
Definition at line 195 of file hash_set.h.
bool Hash::hash_set::empty | ( | ) | const [inline] |
Definition at line 200 of file hash_set.h.
size_type Hash::hash_set::size | ( | ) | const [inline] |
Definition at line 205 of file hash_set.h.
Referenced by CVC3::ExprManager::clear().
size_type Hash::hash_set::bucket_count | ( | ) | const [inline] |
Definition at line 210 of file hash_set.h.
float Hash::hash_set::load_factor | ( | ) | const [inline] |
Definition at line 215 of file hash_set.h.
iterator Hash::hash_set::begin | ( | ) | [inline] |
iterators
Definition at line 224 of file hash_set.h.
Referenced by CVC3::ExprManager::clear(), CVC3::TheoryArray::checkSat(), and CVC3::VariableManager::~VariableManager().
const_iterator Hash::hash_set::begin | ( | ) | const [inline] |
Definition at line 229 of file hash_set.h.
iterator Hash::hash_set::end | ( | ) | [inline] |
Definition at line 235 of file hash_set.h.
Referenced by CVC3::ExprManager::clear(), CVC3::ExprManager::rebuildRec(), CVC3::ExprManager::newExprValue(), CVC3::TheoryArray::checkSat(), and CVC3::VariableManager::~VariableManager().
const_iterator Hash::hash_set::end | ( | ) | const [inline] |
Definition at line 240 of file hash_set.h.
_hash_table Hash::hash_set::d_table [protected] |
variables
Definition at line 103 of file hash_set.h.
Referenced by Hash::hash_set< ExprValue *, HashEV, EqEV >::operator=(), Hash::hash_set< ExprValue *, HashEV, EqEV >::swap(), Hash::hash_set< ExprValue *, HashEV, EqEV >::clear(), Hash::hash_set< ExprValue *, HashEV, EqEV >::find(), Hash::hash_set< ExprValue *, HashEV, EqEV >::insert(), Hash::hash_set< ExprValue *, HashEV, EqEV >::erase(), Hash::hash_set< ExprValue *, HashEV, EqEV >::contains(), Hash::hash_set< ExprValue *, HashEV, EqEV >::count(), Hash::hash_set< ExprValue *, HashEV, EqEV >::empty(), Hash::hash_set< ExprValue *, HashEV, EqEV >::size(), Hash::hash_set< ExprValue *, HashEV, EqEV >::bucket_count(), Hash::hash_set< ExprValue *, HashEV, EqEV >::load_factor(), Hash::hash_set< ExprValue *, HashEV, EqEV >::begin(), and Hash::hash_set< ExprValue *, HashEV, EqEV >::end().