-- AUTOR: Elvira Mayordomo Cámara
-- PROYECTO: módulo de implementación del TAD
-- recorbin de recorridos de árboles binarios
-- FICHERO: recorbin.adb
-- FECHA: 11-11-03
package body recorbin is
procedure preOrden(a:in arbin; l:in out lista) is
-- Pre: l=l0
-- Post: l=l0 & preorden(a)
ai,ad:arbin;
begin 
if not esVacio(a) then
aniadirDch(l,raiz(a));
subIzq(a,ai);
preOrden(ai,l);
 subDer(a,ad);
 preOrden(ad,l);
 end if;
end preOrden;

procedure postOrden(a:in arbin; l:in out lista) is
-- Pre: l=l0
-- Post: l=l0 & postorden(a)
ai,ad:arbin;
begin 
if not esVacio(a) then
 	subIzq(a,ai);
postOrden(ai,l);
subDer(a,ad);
postOrden(ad,l);
aniadirDch(l,raiz(a));
end if;
end postOrden;

procedure inOrden(a:in arbin; l:in out lista) is
  -- Pre: l=l0
-- Post: l=l0 & inorden(a)
ai,ad:arbin;
begin 
if not esVacio(a) then
 	subIzq(a,ai);
    inOrden(ai,l);
aniadirDch(l,raiz(a));
    subDer(a,ad);
    inOrden(ad,l);
 end if;
end inOrden;

end recorbin;