From 57d600f261cca5d9076239e548c6e00646f774b6 Mon Sep 17 00:00:00 2001 From: JSDurand Date: Thu, 2 Mar 2023 15:50:56 +0800 Subject: extra reductions Finished the function of performing extra reductions. Still untested though. --- chain/src/item/mod.rs | 20 -------------------- 1 file changed, 20 deletions(-) (limited to 'chain/src/item/mod.rs') diff --git a/chain/src/item/mod.rs b/chain/src/item/mod.rs index 39d04c7..f8e0aa0 100644 --- a/chain/src/item/mod.rs +++ b/chain/src/item/mod.rs @@ -75,26 +75,6 @@ impl PaVi { } } - // /// Get the "Virtual" variant. - // /// - // /// # Name - // /// - // /// We cannot use the name "virtual" since it is a reserved - // /// keyword in Rust, so we use its French name. - // /// - // /// # Tuple elements - // /// - // /// The returned tuple is of the form (nt, t, node), which means a - // /// virtually added node at the `node` representing the expansion - // /// from the non-terminal `nt` by the terminal `t`. - // fn virtuel(self) -> Option<(usize, usize, usize)> { - // if let Self::Virtual(nt, t, node) = self { - // Some((nt, t, node)) - // } else { - // None - // } - // } - /// Is this an empty segment? fn is_empty(self) -> bool { self == Self::Empty -- cgit v1.2.3-18-g5258