projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11fd750) | patch
1) Supprimer le module Tas car il sert a rien
authorHuibo SHI <shihuibo19@gmail.com>
Mon, 7 Apr 2014 12:14:43 +0000 (14:14 +0200)
committerHuibo SHI <shihuibo19@gmail.com>
Mon, 7 Apr 2014 12:14:43 +0000 (14:14 +0200)
commitcb10072a53278e0f5c6f6ddf9679dbd9643c7f7e
tree5e2ec43721a915ddb739e84a4bbb77db658a84bctree | snapshot
parent11fd750e5f19e421768ec72c511b631e7b009365commit | diff
1) Supprimer le module Tas car il sert a rien
2) recrire la fonction all_nodes par appeler la fonction get_descendant
src/query_tree.ml diff | blob | history
src/table.ml diff | blob | history
tests/exemple.xml [new file with mode: 0644] blob
tests/tiny3.xml diff | blob | history
Tree Automata TOOlkit