diff options
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/Makefile.am | 1 | ||||
-rw-r--r-- | src/util/hash.h | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 7025c2952..8c9ddb5bb 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -14,6 +14,7 @@ libutil_la_SOURCES = \ decision_engine.cpp \ decision_engine.h \ exception.h \ + hash.h \ model.h \ options.h \ output.cpp \ diff --git a/src/util/hash.h b/src/util/hash.h new file mode 100644 index 000000000..c72fe47e8 --- /dev/null +++ b/src/util/hash.h @@ -0,0 +1,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_ */ |