Use template to avoid code duplication.

aibasel · Nov 25, 2024 · cd034bf · cd034bf
1 parent 5d2e7e9
commit cd034bf
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/src/search/tasks/root_task.cc b/src/search/tasks/root_task.cc
@@ -120,13 +120,8 @@ static void check_fact(const FactPair &fact, const vector<ExplicitVariable> &var
     }
 }
 
-static void check_facts(const vector<FactPair> &facts, const vector<ExplicitVariable> &variables) {
-    for (FactPair fact : facts) {
-        check_fact(fact, variables);
-    }
-}
-
-static void check_facts(const set<FactPair> &facts, const vector<ExplicitVariable> &variables) {
+template<typename T>
+static void check_facts(const T &facts, const vector<ExplicitVariable> &variables) {
     for (FactPair fact : facts) {
         check_fact(fact, variables);
     }