Simplify the automaton encoding a bit (remove redundant predicates in formulae).
[tatoo.git] / src / xpath /
drwxr-xr-x   ..
-rw-r--r-- 5386 ast.ml
-rw-r--r-- 2353 ast.mli
-rw-r--r-- 8661 compile.ml
-rw-r--r-- 1068 compile.mli
-rw-r--r-- 1301 parser.ml
-rw-r--r-- 5499 ulexer.ml
-rw-r--r-- 5784 xpath_internal_parser.mly