diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-09 23:02:54 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-11-01 22:36:45 +0100 |
| commit | 4d82c7e2704c035e33b9b606c409e5fac0f4f708 (patch) | |
| tree | d03922bdf7f9cac0be99605244306bd7ef0f4803 /include/erebos/storage.h | |
| parent | c6d01458b4545500a964491c2602da3c3079bfc2 (diff) | |
Stored set
Diffstat (limited to 'include/erebos/storage.h')
| -rw-r--r-- | include/erebos/storage.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/include/erebos/storage.h b/include/erebos/storage.h index 15ee0bb..735b399 100644 --- a/include/erebos/storage.h +++ b/include/erebos/storage.h @@ -668,6 +668,16 @@ WatchedHead<T>::~WatchedHead() T::headTypeId, Head<T>::id(), watcherId); } +template<class T> +vector<Ref> storedRefs(const vector<Stored<T>> & v) +{ + vector<Ref> res; + res.reserve(v.size()); + for (const auto & x : v) + res.push_back(x.ref()); + return res; +} + } namespace std |