-- AUTOR: Elvira Mayordomo Cámara
-- PROYECTO: módulo de implementación
-- del TAD recorridos de recorridos de árboles
-- FICHERO: recorridos.adb
-- FECHA: 11-11-03
-- Especificación en fichero aparte

package body recorridos is

procedure preOrden(a:in arbol; l:in out lista) is
-- Pre: l=l0
-- Post: l=l0 & preorden(a)
aux: arbol;
numh: integer;
begin 
	numh:=numHijos(a);
	aniadirDch(l,raiz(a));
	for i in 1..numh loop 
		subarbolsc(a,i,aux);
		preOrden(aux,l);
	end loop;
end preOrden;

procedure postOrden(a:in arbol; l:in out lista) is
-- Pre: l=l0
-- Post: l=l0 & postorden(a)
aux: arbol;
numh: integer;
begin 
	numh:=numHijos(a);
	for i in 1..numh loop 
		subarbolsc(a,i,aux);
		postOrden(aux,l);
	end loop;
	aniadirDch(l,raiz(a));
end postOrden;

end recorridos;