diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-07-21 11:42:02 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-07-21 11:42:02 +0800 |
| commit | 5bb59bb5b944c380f762858e1662a2a17f41677c (patch) | |
| tree | 517cdb1197c88e7c84b7e77613de6436eaf08e5b /forest/src/archive_default.txt | |
| parent | 88052521eba5721809c472aab5bfae8a95e00956 (diff) | |
chain/atom/default: add a function to print virtual nodes.
* chain/src/atom/default.rs (print_virtual): Previously printing
virtual nodes is done inside the function `print_nfa`; now this is
decoupled and thus more flexible.
Diffstat (limited to 'forest/src/archive_default.txt')
0 files changed, 0 insertions, 0 deletions