diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-08-04 10:08:49 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-08-04 10:08:49 +0800 |
| commit | 57134c44207f7129035bbdbca0e4deff398defe3 (patch) | |
| tree | 124d6f753c75a3e435a5ef665d6b6123d6435ed5 /nfa | |
| parent | e64172f7909c71dc609099d3f5c4666d063653eb (diff) | |
chain/atom/default: Fix nullibility of virtual nodes.
* chain/src/atom/default.rs: Previously the nullibility of virtual
nodes is determined by the nullibility of all its out-going edges.
This is now determined only by the nullibility of out-going edges
that are not "left-linearly expanded". This is the correct
approach.
Diffstat (limited to 'nfa')
0 files changed, 0 insertions, 0 deletions