projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b3611f) | patch
Staturate the set of state of the current node to avoid some traversal.
authorKim Nguyễn <kn@lri.fr>
Wed, 13 Mar 2013 18:06:10 +0000 (19:06 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 13 Mar 2013 18:06:10 +0000 (19:06 +0100)
commit4e07643b4289460ed0d166e915da745e02e5ec7e
tree8154363cf2a07077b2b9f16c84467a32cbc16e71tree | snapshot
parent9b3611f8b650edf4183169a9c2c4317e13be536dcommit | diff
Staturate the set of state of the current node to avoid some traversal.
src/auto/eval.ml diff | blob | history
Tree Automata TOOlkit