src/util/hash.h

   1 /*********************                                                        */
   2 /*! \file hash.h
   3  ** \verbatim
   4  ** Top contributors (to current version):
   5  **   Morgan Deters, Christopher L. Conway, Paul Meng
   6  ** This file is part of the CVC4 project.
   7  ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS
   8  ** in the top-level source directory) and their institutional affiliations.
   9  ** All rights reserved.  See the file COPYING in the top-level source
  10  ** directory for licensing information.\endverbatim
  11  **
  12  ** \brief [[ Add one-line brief description here ]]
  13  **
  14  ** [[ Add lengthier description here ]]
  15  ** \todo document this file
  16  **/
  17
  18 #include "cvc4_public.h"
  19
  20 #ifndef __CVC4__HASH_H
  21 #define __CVC4__HASH_H
  22
  23 #include <functional>
  24 #include <string>
  25
  26 namespace std {
  27
  28 #ifdef CVC4_NEED_HASH_UINT64_T
  29 // on some versions and architectures of GNU C++, we need a
  30 // specialization of hash for 64-bit values
  31 template <>
  32 struct hash<uint64_t> {
  33   size_t operator()(uint64_t v) const {
  34     return v;
  35   }
  36 };/* struct hash<uint64_t> */
  37 #endif /* CVC4_NEED_HASH_UINT64_T */
  38
  39 }/* std namespace */
  40
  41 namespace CVC4 {
  42
  43
  44 template <class T, class U, class HashT = std::hash<T>, class HashU = std::hash<U> >
  45 struct PairHashFunction {
  46   size_t operator()(const std::pair<T, U>& pr) const {
  47     return HashT()(pr.first) ^ HashU()(pr.second);
  48   }
  49 };/* struct PairHashFunction */
  50
  51 }/* CVC4 namespace */
  52
  53 #endif /* __CVC4__HASH_H */