move subsume directly to serialized node

egraphs-good · Sep 11, 2024 · 9f0997c · 9f0997c
1 parent b3eaf72
commit 9f0997c
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 8 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -37,7 +37,7 @@ smallvec = "1.11"
 
 generic_symbolic_expressions = "5.0.4"
 
-egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "325f7c6b4b909752ee0f57f9619f698a52cc343e", features = [
+egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "fdfbbcae20a21098ad6484c0b9da44314016b4f7", features = [
   "serde",
   "graphviz",
 ] }

diff --git a/src/serialize.rs b/src/serialize.rs
@@ -156,9 +156,7 @@ impl EGraph {
                     eclass: class_id.clone(),
                     cost: NotNan::new(decl.cost.unwrap_or(1) as f64).unwrap(),
                     children,
-                    data: egraph_serialize::NodeData {
-                        subsumed: output.subsumed,
-                    },
+                    subsumed: output.subsumed,
                 },
             );
         }
@@ -264,7 +262,7 @@ impl EGraph {
                         eclass: class_id.clone(),
                         cost: NotNan::new(f64::INFINITY).unwrap(),
                         children: vec![],
-                        data: egraph_serialize::NodeData { subsumed: false },
+                        subsumed: false,
                     },
                 );
                 VecDeque::from(vec![node_id])
@@ -296,8 +294,7 @@ impl EGraph {
                         eclass: class_id.clone(),
                         cost: NotNan::new(1.0).unwrap(),
                         children,
-                        // primitives can never be subsumed
-                        data: egraph_serialize::NodeData { subsumed: false },
+                        subsumed: false,
                     },
                 );
             };