Remove unused methods (#2303)

powdr-labs · Jan 3, 2025 · 91202ee · 91202ee
1 parent 6d2249a
commit 91202ee
Showing 1 changed file with 0 additions and 16 deletions.
diff --git a/ast/src/analyzed/mod.rs b/ast/src/analyzed/mod.rs
@@ -1568,22 +1568,6 @@ impl<T> AlgebraicExpression<T> {
             _ => false,
         })
     }
-
-    /// @returns true if the expression contains a reference to a next value of a witness column.
-    pub fn contains_next_witness_ref(&self) -> bool {
-        self.expr_any(|e| match e {
-            AlgebraicExpression::Reference(poly) => poly.next && poly.is_witness(),
-            _ => false,
-        })
-    }
-
-    /// @returns true if the expression contains a reference to a witness column.
-    pub fn contains_witness_ref(&self) -> bool {
-        self.expr_any(|e| match e {
-            AlgebraicExpression::Reference(poly) => poly.is_witness(),
-            _ => false,
-        })
-    }
 }
 
 impl<T> ops::Add for AlgebraicExpression<T> {