Go to the documentation of this file.
50 #ifndef _cvc3__hash__hash_fun_h_
51 #define _cvc3__hash__hash_fun_h_
60 template <
class _Key>
struct hash { };
64 unsigned long __h = 0;
71 template<>
struct hash<char*> {
75 template<>
struct hash<const char*>
80 template<>
struct hash<char> {
84 template<>
struct hash<unsigned char> {
85 size_t operator()(
unsigned char __x)
const {
return __x; }
88 template<>
struct hash<signed char> {
89 size_t operator()(
unsigned char __x)
const {
return __x; }
92 template<>
struct hash<short> {
96 template<>
struct hash<unsigned short> {
97 size_t operator()(
unsigned short __x)
const {
return __x; }
104 template<>
struct hash<unsigned int> {
112 template<>
struct hash<unsigned long> {