Hash Namespace Reference

Classes
struct	hash< CVC3::Expr >
class	hash< std::string >
struct	hash
struct	hash< char * >
struct	hash< const char * >
struct	hash< char >
struct	hash< unsigned char >
struct	hash< signed char >
struct	hash< short >
struct	hash< unsigned short >
struct	hash< int >
struct	hash< unsigned int >
struct	hash< long >
struct	hash< unsigned long >
struct	_Select1st
class	hash_map
struct	_Identity
class	hash_set
class	hash_table
struct	hash< CVC3::Theorem >

Typedefs
typedef size_t	size_type

Functions
size_t	__stl_hash_string (const char *__s)
size_type	next_prime (size_type n)

Variables
const size_type	num_primes = 28
	primes for increasing the hash table size
static const size_type	prime_list [num_primes]

Typedef Documentation

typedef size_t Hash::size_type

Definition at line 75 of file hash_table.h.

Function Documentation

size_t Hash::__stl_hash_string ( const char *  __s )

inline

Definition at line 62 of file hash_fun.h.

Referenced by Hash::hash< char * >::operator()(), and Hash::hash< const char * >::operator()().

size_type Hash::next_prime ( size_type  n )

inline

Definition at line 91 of file hash_table.h.

References num_primes, and prime_list.

Referenced by Hash::hash_table< long, std::pair< const long, bool >, hash< long >, std::equal_to< long >, _Select1st< std::pair< const long, bool > > >::resize().

Variable Documentation

const size_type Hash::num_primes = 28

primes for increasing the hash table size

Definition at line 80 of file hash_table.h.

Referenced by next_prime().

const size_type Hash::prime_list[num_primes]

static

Initial value:

= {
    53ul,         97ul,         193ul,       389ul,       769ul,
    1543ul,       3079ul,       6151ul,      12289ul,     24593ul,
    49157ul,      98317ul,      196613ul,    393241ul,    786433ul,
    1572869ul,    3145739ul,    6291469ul,   12582917ul,  25165843ul,
    50331653ul,   100663319ul,  201326611ul, 402653189ul, 805306457ul, 
    1610612741ul, 3221225473ul, 4294967291ul
  }

Definition at line 82 of file hash_table.h.

Referenced by next_prime().