Use TaggedNext for full subtree iteration instead of TaggedDesc/TaggedFoll
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Wed, 2 Nov 2011 00:42:52 +0000 (00:42 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Wed, 2 Nov 2011 00:42:52 +0000 (00:42 +0000)
commit0158dd0bd369b50f3e784b3f4b6122ea4cbde822
tree97ce45b881fd2fdbbfbb378db26412344914fec8
parent4c1b85252e5abd40ef544fa9acab3e2c990ad958
Use TaggedNext for full subtree iteration instead of TaggedDesc/TaggedFoll

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1161 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
src/OCamlDriver.cpp
src/nodeSet.ml
src/tree.ml
src/tree.mli