CVC3
2.4.1
|
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 size_t Hash::size_type |
Definition at line 75 of file hash_table.h.
|
inline |
Definition at line 62 of file hash_fun.h.
Referenced by Hash::hash< char * >::operator()(), and Hash::hash< const char * >::operator()().
|
inline |
Definition at line 91 of file hash_table.h.
References num_primes, and prime_list.
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().
|
static |
Definition at line 82 of file hash_table.h.
Referenced by next_prime().