diff options
author | redpony <redpony@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-09-28 18:54:04 +0000 |
---|---|---|
committer | redpony <redpony@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-09-28 18:54:04 +0000 |
commit | 5e3ad4eb45808ad842c3912cb9dcbb8d8c90f574 (patch) | |
tree | bd7717b61b89e10d7c4f26d16b8f205e58484432 /utils | |
parent | 66ff975d0bd25f564a82d124cdbd984bda0ea417 (diff) |
opt
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@660 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'utils')
-rw-r--r-- | utils/sparse_vector.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/utils/sparse_vector.h b/utils/sparse_vector.h index c5e18b96..cce6c8a4 100644 --- a/utils/sparse_vector.h +++ b/utils/sparse_vector.h @@ -525,7 +525,7 @@ private: if (values_.find(0) != values_.end()) { ++it; --eff_size; } ar & eff_size; while (it != this->end()) { - const std::pair<std::string, T> wire_pair(FD::Convert(it->first), it->second); + const std::pair<const std::string&, const T&> wire_pair(FD::Convert(it->first), it->second); ar & wire_pair; ++it; } @@ -545,6 +545,10 @@ private: #endif }; +#if HAVE_BOOST_ARCHIVE_TEXT_OARCHIVE_HPP +BOOST_CLASS_TRACKING(SparseVector<double>,track_never) +#endif + template <class T> inline void swap(SparseVector<T> &a,SparseVector<T> &b) { a.swap(b); |