From f20fefc5a1e04e1a83fe19da5cc1e56d55aa9fa8 Mon Sep 17 00:00:00 2001
From: Yulei Sui <rockysui@gmail.com>
Date: Tue, 14 May 2024 19:49:15 +1000
Subject: [PATCH] move sccRepNode/SccSubNodes to AndersenBase

---
 svf/include/WPA/Andersen.h | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/svf/include/WPA/Andersen.h b/svf/include/WPA/Andersen.h
index 7219bfd87..c327843ba 100644
--- 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)
     {