Relax Operations.isTotal() to work with a deterministic automaton#13707
Merged
rmuir merged 8 commits intoapache:mainfrom rmuir:operations_is_totalSep 5, 2024
+71-7
Commits
Commits on Sep 2, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Sep 5, 2024
- committed
- committed