move sccRepNode/SccSubNodes to AndersenBase

SVF-tools · May 14, 2024 · f20fefc · f20fefc
1 parent 45cc769
commit f20fefc
Showing 1 changed file with 12 additions and 12 deletions.
diff --git a/svf/include/WPA/Andersen.h b/svf/include/WPA/Andersen.h
@@ -111,6 +111,18 @@ class AndersenBase:  public WPAConstraintSolver, public BVDataPTAImpl
         return consCG;
     }
 
+    /// SCC methods
+    //@{
+    inline NodeID sccRepNode(NodeID id) const override
+    {
+        return consCG->sccRepNode(id);
+    }
+    inline NodeBS& sccSubNodes(NodeID repId)
+    {
+        return consCG->sccSubNodes(repId);
+    }
+    //@}
+
     /// dump statistics
     inline void printStat()
     {
@@ -203,18 +215,6 @@ class Andersen:  public AndersenBase
     }
     //@}
 
-    /// SCC methods
-    //@{
-    inline NodeID sccRepNode(NodeID id) const
-    {
-        return consCG->sccRepNode(id);
-    }
-    inline NodeBS& sccSubNodes(NodeID repId)
-    {
-        return consCG->sccSubNodes(repId);
-    }
-    //@}
-
     /// Operation of points-to set
     virtual inline const PointsTo& getPts(NodeID id)
     {