projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6f23a2) | patch
Remove useless cycles in the generated automaton. A state now only has at most one...
authorKim Nguyễn <kn@lri.fr>
Sat, 16 Nov 2013 22:06:32 +0000 (23:06 +0100)
committerKim Nguyễn <kn@lri.fr>
Fri, 22 Nov 2013 14:32:31 +0000 (15:32 +0100)
commit8c4a23b0bb5883174e225e16d0ac9e5fe2c13032
tree7e942e9d98fa9ee35c3c81437af0681bfa6017c8tree | snapshot
parentc6f23a2c3a5c0ee4426d1b00fc2807676abdf132commit | diff
Remove useless cycles in the generated automaton. A state now only has at most one trivial cycle with itself.
src/xpath/compile.ml diff | blob | history
Tree Automata TOOlkit