Merge pull request #1469 from jumormt/master

add methods: getWTOComponents
SVF-tools · May 27, 2024 · 12a92c4 · 12a92c4
2 parents 857b8c1 + 8ad28af
commit 12a92c4
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/svf/include/Graphs/WTO.h b/svf/include/Graphs/WTO.h
@@ -414,6 +414,11 @@ template <typename GraphT> class WTOCycle final : public WTOComponent<GraphT>
         return _head;
     }
 
+    /// Get all wto components in WTO cycle
+    const WTOComponentRefList& getWTOComponents() const {
+        return _components;
+    }
+
     /// Begin iterator over the components
     Iterator begin() const
     {
@@ -579,7 +584,11 @@ template <typename GraphT> class WTO
         }
     }
 
-    /// Begin iterator over the components
+    /// Get all wto components in WTO
+    const WTOComponentRefList& getWTOComponents() const {
+        return _components;
+    }
+
     /// Begin iterator over the components
     Iterator begin() const
     {