Algoritmos y Programación en Pascal

436 Capítulo 19. Tipos abstractos de datos
procedure EscribirConj (conj: tConj);
{Efecto: escribe en el output los elementos de conj}
function EstaVacioConj(conj: tConj): boolean;
{Dev. True (si conj = ∅) o False (en otro caso)}
implementation
{Representación mediante listas enlazadas, con cabecera,
ordenadas ascendentemente y sin repeticiones}
procedure CrearConj (var conj: tConj);
begin
New(conj);
conj^.sig:= nil
end; {CrearConj}
procedure DestruirConj (var conj: tConj);
var
listaAux: tConj;
begin
while conj nil do begin
listaAux:= conj;
conj:= conj^.sig;
Dispose(listaAux)
end {while}
end; {DestruirConj}
procedure AnnadirElemConj (elem: tElem; var conj: tConj);
var
parar, {indica el fin de la búsqueda, en la lista}
insertar: boolean; {por si elem ya está en la lista}
auxBuscar, auxInsertar: tConj;
begin
auxBuscar:= conj;
parar:= False;
repeat
if auxBuscar^.sig = nil then begin
parar:= True;
insertar:= True
end {then}
else if auxBuscar^.sig^.info >= elem then begin
parar:= True;
insertar:= auxBuscar^.sig^.info > elem
end {then}
else