Add support for storing if a node is subsumed (#16)

* add support for storing if a node is subsumed * move subsumed directly to struct
egraphs-good · Sep 12, 2024 · 3625e0d · 3625e0d
1 parent 9ce2812
commit 3625e0d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -171,6 +171,8 @@ pub struct Node {
     pub eclass: ClassId,
     #[cfg_attr(feature = "serde", serde(default = "one"))]
     pub cost: Cost,
+    #[cfg_attr(feature = "serde", serde(default))]
+    pub subsumed: bool,
 }
 
 impl Node {