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< const char * >::operator()(), and Hash::hash< 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().