-- AUTOR: Elvira Mayordomo Cámara
-- PROYECTO: módulo de declaración del TAD
-- recorbin de recorridos de árboles binarios
-- FICHERO: recorbin.ads
-- FECHA: 11-11-03
-- Especificación recorridosÁrbolesBinarios en fichero aparte
with arbolesbin,listasap;
generic
type elemento is private;
package recorbin is
package misarboles is new arbolesbin(elemento);
package mislistas is new listasap(elemento);
use misarboles,mislistas;
procedure preOrden(a:in arbin; l:in out lista);
-- Pre: l=l0
-- Post: l=l0 & preorden(a)
procedure postOrden(a:in arbin; l:in out lista);
-- Pre: l=l0
-- Post: l=l0 & postorden(a)
procedure inOrden(a:in arbin; l:in out lista);
-- Pre: l=l0
-- Post: l=l0 & inorden(a)
end recorbin;