1
0
mirror of https://github.com/vcmi/vcmi.git synced 2025-08-13 19:54:17 +02:00

Missing file.

This commit is contained in:
Tomasz Zieliński
2023-07-02 12:32:56 +02:00
parent b94eb20ddf
commit 851b90f9c1

View File

@@ -633,6 +633,14 @@ namespace vstd
return v3; return v3;
} }
template <typename T>
std::set<T> difference(const std::set<T> &s1, const std::set<T> s2)
{
std::set<T> s3;
std::set_difference(s1.begin(), s1.end(), s2.begin(), s2.end(), std::inserter(s3, s3.end()));
return s3;
}
template <typename Key, typename V> template <typename Key, typename V>
bool containsMapping(const std::multimap<Key,V> & map, const std::pair<const Key,V> & mapping) bool containsMapping(const std::multimap<Key,V> & map, const std::pair<const Key,V> & mapping)
{ {