diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-02-13 12:28:12 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-02-13 12:28:12 +0800 |
| commit | afad02bdff111ecccb0077b9c989e869723c231c (patch) | |
| tree | b1e8bd06559bb404eb934762b858f35647c316dd /graph/src/labelled/single.rs | |
| parent | 68d3baa1346aec734f4f98a3044c0056694f1b76 (diff) | |
Fix phantom edges
Previously there was a minor bug: if the chain-rule machine ended in a
node without children, which node should be accepting because of edges
that have no children and hence were ignored, then since the node has
no children, it would be regarded as not accepting. Now this issue is
fixed by introducting real or imaginary edges, where an imaginary edge
is used to determine the acceptance of nodes without chidlren.
Diffstat (limited to 'graph/src/labelled/single.rs')
0 files changed, 0 insertions, 0 deletions