CVC3
2.4.1
|
#include <hash_set.h>
Public Types | |
typedef _hash_table::size_type | size_type |
typedef _hash_table::key_type | key_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_set () | |
methods | |
hash_set (size_type initial_capacity) | |
hash_set (size_type initial_capacity, const _HashFcn &hash) | |
hash_set (size_type initial_capacity, const _HashFcn &hash, const _EqualKey &equal) | |
hash_set (const hash_set &other) | |
hash_set & | operator= (const hash_set &other) |
void | swap (hash_set &other) |
void | clear () |
iterator | find (const key_type &key) |
operations | |
const_iterator | find (const key_type &key) const |
std::pair< iterator, bool > | insert (const value_type &entry) |
size_type | erase (const key_type &key) |
bool | contains (const key_type &key) const |
status | |
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 | |
const_iterator | begin () const |
iterator | end () |
const_iterator | end () const |
Protected Types | |
typedef hash_table< _Key, _Key, _HashFcn, _EqualKey, _Identity < _Key > > | _hash_table |
types |
Protected Attributes | |
_hash_table | d_table |
variables |
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
Definition at line 78 of file hash_set.h.
|
protected |
types
Definition at line 82 of file hash_set.h.
typedef _hash_table::size_type Hash::hash_set< _Key, _HashFcn, _EqualKey >::size_type |
Definition at line 86 of file hash_set.h.
typedef _hash_table::key_type Hash::hash_set< _Key, _HashFcn, _EqualKey >::key_type |
Definition at line 87 of file hash_set.h.
typedef _hash_table::value_type Hash::hash_set< _Key, _HashFcn, _EqualKey >::value_type |
Definition at line 88 of file hash_set.h.
typedef _hash_table::hasher Hash::hash_set< _Key, _HashFcn, _EqualKey >::hasher |
Definition at line 89 of file hash_set.h.
typedef _hash_table::key_equal Hash::hash_set< _Key, _HashFcn, _EqualKey >::key_equal |
Definition at line 90 of file hash_set.h.
typedef _hash_table::iterator Hash::hash_set< _Key, _HashFcn, _EqualKey >::iterator |
Definition at line 94 of file hash_set.h.
typedef _hash_table::const_iterator Hash::hash_set< _Key, _HashFcn, _EqualKey >::const_iterator |
Definition at line 95 of file hash_set.h.
|
inline |
|
inline |
Definition at line 117 of file hash_set.h.
|
inline |
Definition at line 122 of file hash_set.h.
|
inline |
Definition at line 127 of file hash_set.h.
|
inline |
Definition at line 133 of file hash_set.h.
|
inline |
Definition at line 138 of file hash_set.h.
|
inline |
Definition at line 146 of file hash_set.h.
|
inline |
Definition at line 151 of file hash_set.h.
Referenced by CVC3::ExprManager::clear(), and CVC3::VariableManager::~VariableManager().
|
inline |
operations
Definition at line 161 of file hash_set.h.
Referenced by CVC3::ExprManager::newExprValue(), and CVC3::ExprManager::rebuildRec().
|
inline |
Definition at line 166 of file hash_set.h.
|
inline |
Definition at line 173 of file hash_set.h.
Referenced by CVC3::TheoryArray::checkSat(), CVC3::ExprManager::newExprValue(), CVC3::ExprManager::newKind(), CVC3::ExprManager::rebuildRec(), and MiniSat::Derivation::registerInputClause().
|
inline |
Definition at line 180 of file hash_set.h.
Referenced by CVC3::ExprManager::gc(), and CVC3::VariableManager::gc().
|
inline |
status
Definition at line 189 of file hash_set.h.
|
inline |
Definition at line 195 of file hash_set.h.
|
inline |
Definition at line 200 of file hash_set.h.
|
inline |
Definition at line 205 of file hash_set.h.
Referenced by CVC3::ExprManager::clear().
|
inline |
Definition at line 210 of file hash_set.h.
|
inline |
Definition at line 215 of file hash_set.h.
|
inline |
iterators
Definition at line 224 of file hash_set.h.
Referenced by CVC3::TheoryArray::checkSat(), CVC3::ExprManager::clear(), and CVC3::VariableManager::~VariableManager().
|
inline |
Definition at line 229 of file hash_set.h.
|
inline |
Definition at line 235 of file hash_set.h.
Referenced by CVC3::TheoryArray::checkSat(), CVC3::ExprManager::clear(), CVC3::ExprManager::newExprValue(), CVC3::ExprManager::rebuildRec(), and CVC3::VariableManager::~VariableManager().
|
inline |
Definition at line 240 of file hash_set.h.
|
protected |
variables
Definition at line 103 of file hash_set.h.
Referenced by Hash::hash_set< Var >::begin(), Hash::hash_set< Var >::bucket_count(), Hash::hash_set< Var >::clear(), Hash::hash_set< Var >::contains(), Hash::hash_set< Var >::count(), Hash::hash_set< Var >::empty(), Hash::hash_set< Var >::end(), Hash::hash_set< Var >::erase(), Hash::hash_set< Var >::find(), Hash::hash_set< Var >::insert(), Hash::hash_set< Var >::load_factor(), Hash::hash_set< Var >::operator=(), Hash::hash_set< Var >::size(), and Hash::hash_set< Var >::swap().