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
tree3de0fb494aa9cc6f2d21deac0676147d52ca918b
parenta84e4fba7daf4f600958487d88f0b733fb19042e
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
src/formula.mli
src/runtime.ml