Remplacer la fonction List.sort par les fonctions d'evaluations. La liste de fonction...
authorHuibo SHI <shihuibo19@gmail.com>
Thu, 3 Apr 2014 13:52:03 +0000 (15:52 +0200)
committerHuibo SHI <shihuibo19@gmail.com>
Thu, 3 Apr 2014 13:52:03 +0000 (15:52 +0200)
commit11fd750e5f19e421768ec72c511b631e7b009365
tree67d1b44ac365987ba1e8fb20a0895372bcbe4e7b
parentbf8537a562ad461cdecc45978c36e5ad2b35766f
Remplacer la fonction List.sort par les fonctions d'evaluations. La liste de fonction comme la suite:
1) get_descendant
2) get_child
3) get_parent
4) get_followingSibling
5) get_preSibling
6) get_ancestor
src/query_tree.ml
src/query_tree.mli
src/table.ml
src/table_driver.ml
tests/tiny2.xml
tests/tiny3.xml [new file with mode: 0644]