(* --------------------   Tests AVL --------------------------------- *)

# use "AVL.ml";;
# use "mysleep.ml";;

(*# use "FIFO.ml";;*)

(*ocamlmktop -custom -o myocaml unix.cma graphics.cma -cclib -lgraphics -cclib -lX11 *)


(*insertion d'une clef dans un AVL*)
open Graphics;;

(*lovely_example, étape par étape*)
open_graph "";;
let aux=empty_avl();;
let t1=avl_insertion 12 aux;; (*pas de rotation*)
draw_tree_avl t1;;
mysleep 2.0;;
tag t1 cyan;;
let t2 = avl_insertion 3 t1;; (*pas de rotation*)
draw_tree_avl t2;;
mysleep 2.0;;
tag t2 cyan;;
let t3 = avl_insertion 2 t2;; (*rotation-droite*)
draw_tree_avl t3;;
mysleep 2.0;;
tag t3 cyan;;
draw_tree_avl t3;;
mysleep 1.0;;
let t4 = avl_insertion 5 t3;; (*pas de rotation*)
draw_tree_avl t4;;
mysleep 2.0;;
let t5 = avl_insertion 4 t4;; (*rotation droite*)
draw_tree_avl t5;;
mysleep 2.0;;
tag t5 cyan;;
draw_tree_avl t5;;
mysleep 1.0;;
let t6 = avl_insertion 7 t5;; (*rotation gauche*)
draw_tree_avl t6;;
mysleep 2.0;;
tag t6 cyan;;
draw_tree_avl t6;;
mysleep 1.0;;
let t7 = avl_insertion 9 t6;; (*rotation gauche-droite*)
draw_tree_avl t7;;
mysleep 2.0;;
tag t7 cyan;;
draw_tree_avl t7;;
mysleep 1.0;;
let t8 = avl_insertion 11 t7;; (*pas de rotation*)
draw_tree_avl t8;;
mysleep 2.0;;
let t9 = avl_insertion 14 t8;; (*pas de rotation*)
draw_tree_avl t8;;
mysleep 2.0;;
let t10 = avl_insertion 10 t9;; (*rotation droite-gauche*)
draw_tree_avl t9;;
mysleep 2.0;;
tag t10 cyan;;
draw_tree_avl t10;;
mysleep 5.0;;
close_graph();;