change name remove_node_silent to remove_edges_around.

runtimeverification · Nov 26, 2024 · 5c76cfc · 5c76cfc
1 parent f960d53
commit 5c76cfc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/pyk/src/pyk/kcfg/kcfg.py b/pyk/src/pyk/kcfg/kcfg.py
@@ -760,13 +760,13 @@ def create_node(self, cterm: CTerm) -> KCFG.Node:
         return node
 
     def remove_node(self, node_id: NodeIdLike) -> None:
-        self.remove_node_silent(node_id)
         node_id = self._resolve(node_id)
         self._nodes.pop(node_id)
         self._deleted_nodes.add(node_id)
         self._created_nodes.discard(node_id)
+        self.remove_edges_around(node_id)
 
-    def remove_node_silent(self, node_id: NodeIdLike) -> None:
+    def remove_edges_around(self, node_id: NodeIdLike) -> None:
         node_id = self._resolve(node_id)
 
         self._edges = {k: s for k, s in self._edges.items() if k != node_id and node_id not in s.target_ids}

diff --git a/pyk/src/pyk/kcfg/minimize.py b/pyk/src/pyk/kcfg/minimize.py
@@ -229,7 +229,7 @@ def _is_mergeable(x: KCFG.Edge | KCFG.MergedEdge, y: KCFG.Edge | KCFG.MergedEdge
                     continue
                 for e in p:
                     # TODO: remove the split and edges, then safely remove the nodes.
-                    self.kcfg.remove_node_silent(e.source.id)
+                    self.kcfg.remove_edges_around(e.source.id)
 
             # Create A -|MergedEdge|-> Merged_Bi -|Split|-> Bi, if one edge partition covers all the splits
             if len(edge_partitions) == 1: