Added fn root(&self) -> Id to RecExpr. (#321)

egraphs-good · Jul 23, 2024 · 347326d · 347326d
1 parent dae3050
commit 347326d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/language.rs b/src/language.rs
@@ -457,6 +457,11 @@ impl<L: Language> RecExpr<L> {
         }
         true
     }
+
+    /// Get the root node of this expression. When adding a new node via `add`, it becomes the new root.
+    pub fn root(&self) -> Id {
+        Id::from(self.nodes.len() - 1)
+    }
 }
 
 impl<L: Language> Index<Id> for RecExpr<L> {