Algoritmos y Programación en Pascal

438 Capítulo 19. Tipos abstractos de datos
if auxBuscar = nil then begin
parar:= True;
esta:= False
end
else if auxBuscar^.info = elem then begin
parar:= True;
esta:= True
end
else if auxBuscar^.info > elem then begin
parar:= True;
esta:= False
end
else
auxBuscar:= auxBuscar^.sig
until parar;
pertenece:= esta
end; {Pertenece}
procedure EscribirConj (conj: tConj);
var
puntAux: tConj;
begin
if EstaVacioConj(conj) then
WriteLn(’[]’)
else begin
puntAux:= conj^.sig;
Write(’[’, puntAux^.info);
while not EstaVacioConj(puntAux) do begin
puntAux:= puntAux^.sig;
Write(’, ’, puntAux^.info)
end; {while}
WriteLn(’]’)
end {else}
end; {EscribirConj}
function EstaVacioConj (conj: tConj): boolean;
begin
EstaVacioConj:= conj^.sig = nil
end; {EstaVacioConj}
end. {conjEnt}
Para finalizar, se recuerda que en el programa CribaEratostenes se había
dejado incompleta la declaración de tipos, así, únicamente
type
tConj = Abstracto;