projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a84e4fb) | patch
Add backward moves in the syntax of the automaton.
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Thu, 19 Jan 2012 09:48:52 +0000 (09:48 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Thu, 19 Jan 2012 09:48:52 +0000 (09:48 +0000)
commitc0b6bf74a7df6f1c8951525cab015fda4c788a9d
tree3de0fb494aa9cc6f2d21deac0676147d52ca918btree | snapshot
parenta84e4fba7daf4f600958487d88f0b733fb19042ecommit | diff
Add backward moves in the syntax of the automaton.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1186 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
src/formula.ml diff | blob | history
src/formula.mli diff | blob | history
src/runtime.ml diff | blob | history
XPath Library based on tree automata.