Removed old, unused debug code

horizon-research · Aug 30, 2024 · de4105d · de4105d
1 parent 51386e1
commit de4105d
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 28 deletions.
diff --git a/.github/workflows/publish-pypi.yml b/.github/workflows/publish-pypi.yml
@@ -8,7 +8,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - name: Checking out repository
+      - name: Check out repository
         uses: actions/checkout@v4
 
       - name: Set up Python

diff --git a/src/language.rs b/src/language.rs
@@ -521,10 +521,10 @@ pub fn rules<A: Analysis<TnsrLang>>() -> Vec<Rewrite<TnsrLang, TnsrAnalysis>> {
     // rewrite!("div-mul-comm-r"; "(Div (Mul ?x ?y) ?z)" => "(Mul ?x (Div ?y ?z))"),
 ]}
 
-struct FMulApplier {
-    foo: Var,
-    bar: Var,
-}
+// struct FMulApplier {
+//     foo: Var,
+//     bar: Var,
+// }
 
 impl Applier<TnsrLang, TnsrAnalysis> for FMulApplier {
     fn apply_one(&self, egraph: &mut EGraph<TnsrLang, TnsrAnalysis>, matched_id: Id, subst: &Subst, _: Option<&PatternAst<TnsrLang>>, _: Symbol) -> Vec<Id> {
@@ -541,10 +541,10 @@ impl Applier<TnsrLang, TnsrAnalysis> for FMulApplier {
     }
 }
 
-struct FAddApplier {
-    foo: Var,
-    bar: Var,
-}
+// struct FAddApplier {
+//     foo: Var,
+//     bar: Var,
+// }
 
 impl Applier<TnsrLang, TnsrAnalysis> for FAddApplier {
     fn apply_one(&self, egraph: &mut EGraph<TnsrLang, TnsrAnalysis>, matched_id: Id, subst: &Subst, _: Option<&PatternAst<TnsrLang>>, _: Symbol) -> Vec<Id> {

diff --git a/src/lib.rs b/src/lib.rs
@@ -34,7 +34,7 @@ fn lp_optimize(program: String, n_sec: i32) -> String {
                     .with_expr(&program_expr);
     let runner = runner.run(&rules::<TnsrAnalysis>());
 
-    let num_iter_sat = runner.iterations.len() - 1;
+    // let num_iter_sat = runner.iterations.len() - 1;
 
     // Print equality saturation stats
     // COMMENT THIS OUT LATER
@@ -67,21 +67,21 @@ fn eggwrap(_py: Python<'_>, m: &PyModule) -> PyResult<()> {
     Ok(())
 }
 
-fn get_stats(egraph: &EGraph<TnsrLang, TnsrAnalysis>) -> (usize, usize, f32, usize, f32) {
-    let num_enodes = egraph.total_size();
-    let num_classes = egraph.number_of_classes();
-    let avg_nodes_per_class = num_enodes as f32 / (num_classes as f32);
-    let num_edges = egraph
-        .classes()
-        .fold(0, |acc, c| c.iter().fold(0, |sum, n| n.len() + sum) + acc);
-    let num_programs = egraph
-        .classes()
-        .fold(0.0, |acc, c| acc + (c.len() as f32).log2());
-    (
-        num_enodes,
-        num_classes,
-        avg_nodes_per_class,
-        num_edges,
-        num_programs,
-    )
-}
+// fn get_stats(egraph: &EGraph<TnsrLang, TnsrAnalysis>) -> (usize, usize, f32, usize, f32) {
+//     let num_enodes = egraph.total_size();
+//     let num_classes = egraph.number_of_classes();
+//     let avg_nodes_per_class = num_enodes as f32 / (num_classes as f32);
+//     let num_edges = egraph
+//         .classes()
+//         .fold(0, |acc, c| c.iter().fold(0, |sum, n| n.len() + sum) + acc);
+//     let num_programs = egraph
+//         .classes()
+//         .fold(0.0, |acc, c| acc + (c.len() as f32).log2());
+//     (
+//         num_enodes,
+//         num_classes,
+//         avg_nodes_per_class,
+//         num_edges,
+//         num_programs,
+//     )
+// }