En la solucion propuesta de este ejercicio dice:
PROCEDURE insertarABBPaquetes (p:Paquete; VAR a:ABBPaquetes);
(* Inserta el paquete p en el árbol a *)
Si no me equivoco, no se considera el caso en que ya estuviera el paquete "p" en el arbol "a", o como es?
estimado,
siempre que se establezca la pre-cond de que p no pertenece al abb, es correcto que no se considere el caso en que p ya estuviera en el abb. en caso contrario (insertar sin pre-cond), hay que considerarlo en el algoritmo o podrían insertarse repetidos y eso podría provocar un mal funcionamiento del abb.
salud