CVC3  2.4.1
Classes | Typedefs | Functions | Variables
Hash Namespace Reference

Classes

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

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 More...
 
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
size_type Hash::next_prime ( size_type  n)
inline

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.

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().