diff --git a/Global.h b/Global.h index a869ac611..115ae79c5 100644 --- a/Global.h +++ b/Global.h @@ -633,6 +633,14 @@ namespace vstd return v3; } + template + std::set difference(const std::set &s1, const std::set s2) + { + std::set s3; + std::set_difference(s1.begin(), s1.end(), s2.begin(), s2.end(), std::inserter(s3, s3.end())); + return s3; + } + template bool containsMapping(const std::multimap & map, const std::pair & mapping) {