diff options
| author | EuAndreh <eu@euandre.org> | 2025-07-17 07:31:12 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2025-07-17 07:31:12 -0300 |
| commit | 9434d30805576a7dbf4e2c8a5fb7da72089e6260 (patch) | |
| tree | ce7166a5950922ceeaa2bf9af6436fc4b6fa5499 /.gitignore | |
| parent | Support searching in the NFA using the metacharacters. (diff) | |
| download | paca-9434d30805576a7dbf4e2c8a5fb7da72089e6260.tar.gz paca-9434d30805576a7dbf4e2c8a5fb7da72089e6260.tar.xz | |
Do away with the "nextID" attribute
Instead of being an increment over "end" that is carried along on NFA
transformation, now the id is computed directly as an increment on
"end". During this refactor, I even saw that "end" and "nextID" of
`concat()` are computed differently, despite arriving at the same
result: "end" is rhs.end, while "nextID" is the max of the nextID from
lhs and rhs.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions