// -*- C++ -*- #ifndef HL_HASH_H #define HL_HASH_H #include #include namespace HL { template class Hash { public: static size_t hash (Key k); }; template <> class Hash { public: static inline size_t hash (void * v) { return (size_t) v; } }; template <> class Hash { public: static inline size_t hash (void * v) { return (size_t) ((size_t) v); } }; template <> class Hash { public: static inline size_t hash (int v) { return (size_t) v; } }; } #endif