projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: af9d790)
Refactor the Ata module:
authorKim Nguyễn <kn@lri.fr>
Fri, 19 Jul 2013 13:33:37 +0000 (15:33 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 19 Jul 2013 13:33:37 +0000 (15:33 +0200)
         - add a builder class to ensure we only manipulate well-formed automata
         - move all the caching infrastructure to the computation of the run
         - rename the Eval module to Run


No differences found
Tree Automata TOOlkit