projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfef2de) | patch
Do not stupidely recompute a constant set of states for each node
authorKim Nguyễn <kn@lri.fr>
Fri, 26 Jul 2013 15:16:13 +0000 (17:16 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 26 Jul 2013 15:16:13 +0000 (17:16 +0200)
commit2d9352c1cd8cd3f73c60d0b7c50981f9b42ceb57
tree9833975a74dfb1e78675bda6d41f1498cef7eb3dtree | snapshot
parentcfef2deaf1a17df7bcb153c3b92e28e14edd912bcommit | diff
Do not stupidely recompute a constant set of states for each node
in the tree, compute it once and for all before the run and store it
at each node as we traverse them.
src/run.ml diff | blob | history
Tree Automata TOOlkit