Ajoute le module Tas pour remplacer la fonction List.sort.
authorHuibo SHI <shihuibo19@gmail.com>
Fri, 28 Mar 2014 18:43:24 +0000 (19:43 +0100)
committerHuibo SHI <shihuibo19@gmail.com>
Fri, 28 Mar 2014 18:43:24 +0000 (19:43 +0100)
commit5a2f69473adac536c778653a9f6c4d1267510945
tree4f83a1f6ed8e061882fb3902176d95076b14015d
parenta7acc5b68cd4850b1bce020421087788a57b4eab
Ajoute le module Tas pour remplacer la fonction List.sort.
Mise a jour la fonction eval_star et la fonction eval_qtree (remplace List.sort)
Dans le module Tas il y a des fonctions ci-dessous:
1) val size : 'a tas -> int
2) val height : 'a tas -> int
3) val equilibre : 'a tas -> bool
4) val is_tas : int tas -> bool   ------- il faut ameliorer
5) val pop : Naive_tree.t -> Naive_tree.node tas -> Naive_tree.node
6) val push : Naive_tree.t -> Naive_tree.node tas -> Naive_tree.node -> Naive_tree.node tas
7) val tas_of_list : Naive_tree.t -> Naive_tree.node list -> Naive_tree.node tas
8) val list_of_tas : Naive_tree.t -> Naive_tree.node tas -> Naive_tree.node list
9) val is_empty : Naive_tree.node tas ->bool
10) val sort_of_list : Naive_tree.t -> Naive_tree.node list -> Naive_tree.node list
src/query_tree.ml
src/table.ml