projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7382185) | patch
Replace the Hashtbl.t used for mapping nodes to state-sets by an
authorKim Nguyễn <kn@lri.fr>
Wed, 13 Mar 2013 17:54:21 +0000 (18:54 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 13 Mar 2013 17:54:21 +0000 (18:54 +0100)
commit9b3611f8b650edf4183169a9c2c4317e13be536d
treeb40dd43d2550fe49bb5e8eba7d0eb7b44af2a187tree | snapshot
parent738218592e41da4ceb46f4dba41f292a60ba1f7bcommit | diff
Replace the Hashtbl.t used for mapping nodes to state-sets by an
array indexed by pre-order.
src/auto/eval.ml diff | blob | history
src/tree/naive.ml diff | blob | history
src/tree/sig.ml diff | blob | history
Tree Automata TOOlkit