change node limit to e-node size rather than memo

amirsh · amirsh · commit 5b19ed7dd587 · 2024-11-12T16:59:39.000Z
diff --git a/src/run.rs b/src/run.rs
@@ -483,7 +483,7 @@ where
             return Err(StopReason::TimeLimit(elapsed.as_secs_f64()));
         }
 
-        let size = self.egraph.total_size();
+        let size = self.egraph.total_number_of_nodes();
         if size > self.node_limit {
             return Err(StopReason::NodeLimit(size));
         }

Original file line number	Diff line number	Diff line change
`@@ -483,7 +483,7 @@ where`
`483`	`483`	`return Err(StopReason::TimeLimit(elapsed.as_secs_f64()));`
`484`	`484`	`}`
`485`	`485`
`486`		`- let size = self.egraph.total_size();`
	`486`	`+ let size = self.egraph.total_number_of_nodes();`
`487`	`487`	`if size > self.node_limit {`
`488`	`488`	`return Err(StopReason::NodeLimit(size));`
`489`	`489`	`}`