src/util/hash.h

   1 /*
   2  * hash.h
   3  *
   4  *  Created on: May 8, 2010
   5  *      Author: chris
   6  */
   7
   8 #ifndef __CVC4__HASH_H_
   9 #define __CVC4__HASH_H_
  10
  11 #include <ext/hash_map>
  12 namespace std { using namespace __gnu_cxx; }
  13
  14 namespace CVC4 {
  15
  16 struct StringHashFunction {
  17   size_t operator()(const std::string& str) const {
  18     return std::hash<const char*>()(str.c_str());
  19   }
  20 };
  21
  22 }
  23
  24 #endif /* __CVC4__HASH_H_ */