20 #ifndef __CVC4__HASH_H 21 #define __CVC4__HASH_H 26 #include <ext/hash_map> 27 #include <ext/hash_set> 31 #ifdef CVC4_NEED_HASH_UINT64_T 35 struct hash<uint64_t> {
36 size_t operator()(uint64_t v)
const {
55 template <
class T,
class U,
class HashT = std::hash<T>,
class HashU = std::hash<U> >
58 return HashT()(pr.first) ^ HashU()(pr.second);
size_t operator()(const std::pair< T, U > &pr) const
size_t operator()(const std::string &str) const
Macros that should be defined everywhere during the building of the libraries and driver binary...