projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90ce585) | patch
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)
commitaf9d790ca62e678e8e70ab8d8fa7f804985a75e0
treed9a90ebe8e864b3a246f39d923304eb89781bdf5tree | snapshot
parent90ce5857f6cad2ebc753fdbc8e37882a1ff47415commit | diff
Refactor the Ata module:
         - 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
src/ata.ml diff | blob | history
src/ata.mli diff | blob | history
src/boolean.mli diff | blob | history
src/eval.ml [deleted file] blob | history
src/eval.mli [deleted file] blob | history
src/hcons.mli diff | blob | history
src/run.ml [new file with mode: 0644] blob
src/run.mli [new file with mode: 0644] blob
src/tatoo.ml diff | blob | history
src/tree.ml diff | blob | history
src/xpath/compile.ml diff | blob | history
Tree Automata TOOlkit