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

with arboles,listasap;
generic
type elemento is private;
package recorridos is
package misarboles is new arboles(elemento);
package mislistas is new listasap(elemento);
use misarboles,mislistas;
procedure preOrden(a:in arbol; l:in out lista);
-- Pre: l=l0
-- Post: l=l0 & preorden(a)
procedure postOrden(a:in arbol; l:in out lista);
-- Pre: l=l0
-- Post: l=l0 & postorden(a)
end recorridos;