projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0165b2) | patch
Code refactoring:
authorKim Nguyễn <kn@lri.fr>
Fri, 15 Mar 2013 16:31:59 +0000 (17:31 +0100)
committerKim Nguyễn <kn@lri.fr>
Fri, 15 Mar 2013 17:47:55 +0000 (18:47 +0100)
commit09058e990c86555c9c9211f00639901bbd386730
treefe34fbfade161fdf287b079ee9ed7e1f89aada1btree | snapshot
parentd0165b2cd48fb800c0e3bcacfc85e452233f4525commit | diff
Code refactoring:
    - move the caching tables inside the automaton object
    - add an interface for the ata module
    - make the automaton record type private
src/auto/ata.ml diff | blob | history
src/auto/ata.mli [new file with mode: 0644] blob
src/auto/eval.ml diff | blob | history
src/xpath/compile.ml diff | blob | history
Tree Automata TOOlkit