Rename current_stage_witnesses -> witnesses_for_current_stage

powdr-labs · Nov 22, 2024 · 9aec364 · 9aec364
1 parent fc14e9c
commit 9aec364
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/executor/src/witgen/machines/machine_extractor.rs b/executor/src/witgen/machines/machine_extractor.rs
@@ -48,7 +48,10 @@ impl<'a, T: FieldElement> MachineExtractor<'a, T> {
 
         // Ignore prover functions that reference columns of later stages.
         let all_witnesses = self.fixed.witness_cols.keys().collect::<HashSet<_>>();
-        let current_stage_witnesses = self.fixed.current_stage_witnesses().collect::<HashSet<_>>();
+        let current_stage_witnesses = self
+            .fixed
+            .witnesses_for_current_stage()
+            .collect::<HashSet<_>>();
         let later_stage_witness_names = all_witnesses
             .difference(&current_stage_witnesses)
             .map(|w| self.fixed.column_name(w))

diff --git a/executor/src/witgen/mod.rs b/executor/src/witgen/mod.rs
@@ -549,7 +549,7 @@ impl<'a, T: FieldElement> FixedData<'a, T> {
             })
     }
 
-    fn current_stage_witnesses(&self) -> impl Iterator<Item = PolyID> + '_ {
+    fn witnesses_for_current_stage(&self) -> impl Iterator<Item = PolyID> + '_ {
         self.witness_cols
             .iter()
             .filter(|(_, col)| col.stage <= self.stage as u32)