src/util/hash.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

/*
 * hash.h
 *
 *  Created on: May 8, 2010
 *      Author: chris
 */

#ifndef __CVC4__HASH_H_
#define __CVC4__HASH_H_

#include <ext/hash_map>
namespace std { using namespace __gnu_cxx; }

namespace CVC4 {

struct StringHashFunction {
  size_t operator()(const std::string& str) const {
    return std::hash<const char*>()(str.c_str());
  }
};

}

#endif /* __CVC4__HASH_H_ */