Merge pull request #70 from Riddhimaan-Senapati/main

Fixed issue #69
ninehusky · Jan 27, 2025 · 3082744 · 3082744
2 parents 2b49bca + 6e8556c
commit 3082744
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/src/chomper.rs b/src/chomper.rs
@@ -118,7 +118,7 @@ pub trait Chomper {
         }
     }
 
-    /// Runs the existing set of `non-cond-rewrites` and `cond-rewrites` in the e-graph
+    /// Runs the existing set of `total-rewrites` and `cond-rewrites` in the e-graph
     /// for the given number of iterations. If no number of iterations is given, the rewrites
     /// are run until saturation.
     fn run_rewrites(&self, egraph: &mut EGraph, iters: Option<usize>) {
@@ -127,15 +127,15 @@ pub trait Chomper {
                 r#"
                 (run-schedule
                     (repeat {limit}
-                        (run non-cond-rewrites)
+                        (run total-rewrites)
                         (run cond-rewrites)))
                 "#
             )
             .to_string()
         } else {
             r#"
                 (run-schedule
-                    (saturate non-cond-rewrites)
+                    (saturate total-rewrites)
                     (saturate cond-rewrites))
                 "#
             .to_string()
@@ -287,7 +287,7 @@ pub trait Chomper {
                       (({UNIVERSAL_RELATION} {lhs}))
                       (({UNIVERSAL_RELATION} {rhs})
                        (union {lhs} {rhs}))
-                      :ruleset non-cond-rewrites)
+                      :ruleset total-rewrites)
                     "#
                 )
             }

diff --git a/src/language.rs b/src/language.rs
@@ -231,7 +231,7 @@ pub trait ChompyLanguage {
 
 ;;; forward ruleset definitions
 (ruleset eclass-report)
-(ruleset non-cond-rewrites)
+(ruleset total-rewrites)
 (ruleset cond-rewrites)
 
 ;;; a "function", more or less, that prints out each e-class and its