diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-01-28 10:17:24 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-01-28 10:22:57 +0800 |
| commit | f28155105134b90fd86049c65478d307e0d8dbbc (patch) | |
| tree | 72b3b4872d5dba89413eca70bcaae9e421def7ee /forest | |
| parent | e8ea01319b3a9032a3f4f69f65e9ca96562b87b9 (diff) | |
a prototype of an item derivation forest
It seems to be complete now, but still awaits more tests to see where
the errors are, which should be plenty, haha.
Diffstat (limited to 'forest')
| -rw-r--r-- | forest/src/lib.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/forest/src/lib.rs b/forest/src/lib.rs index 02c5fcd..0b1092f 100644 --- a/forest/src/lib.rs +++ b/forest/src/lib.rs @@ -6,10 +6,6 @@ //! parse forest, or SPPF. It packs sub-trees with the same parents //! under the same branch, and lets nodes from different branches //! share the same children, and hence the name. -//! -//! What is special here is that the forests are marked with some -//! out-coming and in-coming plugs. These plugs are used to join -//! different fragments of forests together. use graph::{error::Error as GError, GraphLabel, LabelGraph, ParentsGraph}; |