projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48457c0) | patch
fix a bug: attributes were considered as nodes -> using first_child_x
authorLucca Hirschi <lucca.hirschi@gmail.com>
Fri, 13 Jul 2012 14:55:25 +0000 (16:55 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Fri, 13 Jul 2012 14:55:25 +0000 (16:55 +0200)
commit5cfe8f8725b83eadae6923a10929b5db9204049c
treee7832341c29a91760ce62cfd8fb5a583af4e5e90tree | snapshot
parent48457c0a99124a16ab29d7b84bcca85e0f3185a4commit | diff
fix a bug: attributes were considered as nodes -> using first_child_x
src/run.ml diff | blob | history
src/solve.ml diff | blob | history
src/tree.ml diff | blob | history
src/tree.mli diff | blob | history
tests/docs/XPath-FT.xml diff | blob | history
tests/queries/XPath-FT.queries diff | blob | history
Tree Automata TOOlkit