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 | 10e72981d5849717908d0636f820a7b107c84558 (patch) | |
tree | 1856efcd0fe52e3c480428df6127153879812d4d /utils/small_vector.h | |
parent | 979188aaa06c13b05fcddf376f1253ebda54cdea (diff) |
boost::hash
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@541 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'utils/small_vector.h')
-rw-r--r-- | utils/small_vector.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/utils/small_vector.h b/utils/small_vector.h index f1e53a51..89917d1c 100644 --- a/utils/small_vector.h +++ b/utils/small_vector.h @@ -253,11 +253,12 @@ public: } inline std::size_t hash_impl() const { + using namespace boost; if (size_==0) return 0; -// if (size_==1) return boost::hash_value(data_.vals[0]); - if (size<= SV_MAX) - return boost::hash_range(data_.vals,data_.vals+size_); - return boost::hash_range(data_.ptr,data_.ptr+size_); + if (size_==1) return hash_value(data_.vals[0]); + if (size_ <= SV_MAX) + return hash_range(data_.vals,data_.vals+size_); + return hash_range(data_.ptr,data_.ptr+size_); } private: |