From d1f1bb938b7897c7c5c50270b87b4a530fedd6ac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20Chocholat=C3=BD?= Date: Wed, 13 Sep 2023 13:48:50 +0200 Subject: [PATCH] Rename 'uni()' and out-of-place `unite()` to 'set_union()' --- include/mata/utils/ord-vector.hh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/include/mata/utils/ord-vector.hh b/include/mata/utils/ord-vector.hh index bfaeba18..17ba70a8 100644 --- a/include/mata/utils/ord-vector.hh +++ b/include/mata/utils/ord-vector.hh @@ -214,7 +214,7 @@ public: assert(vec.vectorIsSorted()); tmp.clear(); - unite(*this,vec,tmp); + set_union(*this,vec,tmp); vec_ = tmp.vec_; /* @@ -428,7 +428,7 @@ public: return result; } - static void unite(const OrdVector& lhs, const OrdVector& rhs, OrdVector& result) { + static void set_union(const OrdVector& lhs, const OrdVector& rhs, OrdVector& result) { assert(lhs.vectorIsSorted()); assert(rhs.vectorIsSorted()); @@ -467,9 +467,9 @@ public: assert(result.vectorIsSorted()); } - static OrdVector uni(const OrdVector& lhs, const OrdVector& rhs) { + static OrdVector set_union(const OrdVector& lhs, const OrdVector& rhs) { OrdVector result{}; - unite(lhs, rhs, result); + set_union(lhs, rhs, result); return result; }