CVC3  2.4.1
Public Types | Public Member Functions | Protected Types | Protected Attributes
Hash::hash_set Class Reference

#include <hash_set.h>

List of all members.

Public Types

Public Member Functions

Protected Types

Protected Attributes


Detailed Description

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


Member Typedef Documentation

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.


Constructor & Destructor Documentation

Hash::hash_set::hash_set ( ) [inline]

methods

constructors

Definition at line 112 of file hash_set.h.

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.


Member Function Documentation

hash_set& Hash::hash_set::operator= ( const hash_set other) [inline]

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]
iterator Hash::hash_set::find ( const key_type key) [inline]

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]
size_type Hash::hash_set::erase ( const key_type key) [inline]

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]
const_iterator Hash::hash_set::begin ( ) const [inline]

Definition at line 229 of file hash_set.h.

iterator Hash::hash_set::end ( ) [inline]
const_iterator Hash::hash_set::end ( ) const [inline]

Definition at line 240 of file hash_set.h.


Member Data Documentation


The documentation for this class was generated from the following file: