projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd87d0f) | patch
Rework the formula predicates:
authorKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 10:14:37 +0000 (11:14 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 10:14:37 +0000 (11:14 +0100)
commit35c32fbd2543a399cc6939f21317bebf37172646
tree691adbf162574b54745ce37754cd150d4b9ce952tree | snapshot
parentcd87d0f43eb81563fd303875ff4c83fe382ea99fcommit | diff
Rework the formula predicates:
       - adds testing for first child, next sibling etc and their converse
       - make the predicate complete w.r.t negation
       - move the evaluation of formula to the Eval module (where the type of
       context is known)
src/auto/ata.ml diff | blob | history
src/auto/eval.ml diff | blob | history
src/auto/formula.ml diff | blob | history
src/auto/formula.mli diff | blob | history
src/xpath/compile.ml diff | blob | history
Tree Automata TOOlkit