From 3625e0daf655932f2e9548c448d6a63d6cb8d831 Mon Sep 17 00:00:00 2001
From: Saul Shanabrook <s.shanabrook@gmail.com>
Date: Thu, 12 Sep 2024 12:00:20 -0400
Subject: [PATCH] Add support for storing if a node is subsumed (#16)

* add support for storing if a node is subsumed

* move subsumed directly to struct
---
 src/lib.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index fa3e909..deca9d2 100644
--- 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 {