diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-03-02 15:50:56 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-03-02 15:50:56 +0800 |
| commit | 57d600f261cca5d9076239e548c6e00646f774b6 (patch) | |
| tree | f6f6b97c1f2bc4c3d8d9c71e5529e5e9facac2a2 /chain/src/item/mod.rs | |
| parent | b306fe88edcb3d7c7628e155f67fd7e1c8c29c19 (diff) | |
extra reductions
Finished the function of performing extra reductions.
Still untested though.
Diffstat (limited to 'chain/src/item/mod.rs')
| -rw-r--r-- | chain/src/item/mod.rs | 20 |
1 files changed, 0 insertions, 20 deletions
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 |