diff options
author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-13 08:31:51 +0000 |
---|---|---|
committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-13 08:31:51 +0000 |
commit | 86bb77e674c4df9c46e3e2d8bba8a5c8b42bb98c (patch) | |
tree | 3ecbdee8963cd951aabc9537b6a7a335a8e3263c /utils/hash.h | |
parent | cf54677dac448084f38cf54d2596a2078492fce6 (diff) |
boost::hash
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@541 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'utils/hash.h')
-rwxr-xr-x | utils/hash.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/hash.h b/utils/hash.h index 20764860..fbe10b4e 100755 --- a/utils/hash.h +++ b/utils/hash.h @@ -18,6 +18,7 @@ # define HASH_MAP_EMPTY(h,empty) #endif +#define BOOST_HASHED_MAP(k,v) HASH_MAP<k,v,boost::hash<k> > // assumes C is POD template <class C> |