diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-07-18 16:26:54 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-07-18 16:26:54 +0800 |
| commit | 5a40d2cb79a791a46a579fdf6532e1b49053e96c (patch) | |
| tree | d30771829cf43455283893c5ea69728243f48c18 /graph/src/labelled/single.rs | |
| parent | 0fa0622a24dbdf0c2bd0fbf6bedf4cad5ed8d311 (diff) | |
Fix the bug of incorrectly setting the end of forest nodes
Previously when generating a fragment of the forest corresponding to
the expansion of a non-terminal by a terminal, we incorrectly set the
end of every node within it to be one plus the start, if the expansion
happens due to a reduction.
Now this mistake is fixed and the ending positions are correctly set.
Diffstat (limited to 'graph/src/labelled/single.rs')
0 files changed, 0 insertions, 0 deletions