En la especificacion del TAD ColaPrioridad del ejercicio 2.2 el procedimiento insertar esta asi en la solucion:
(* PRE: NOT estaLlenaColaPrioridad(cp) *)
PROCEDURE insertarColaPrioridad (prio : INTEGER; p : Paquete; VAR cp : ColaPrioridad);
(* Inserta el paquete p con prioridad prio en la cola de prioridad cp *)
¿No deberia de ser asi? Ya que la prioridad del paquete ya esta en paquete (
PROCEDURE ValorPrioridad (p: Paquete): INTEGER;
(* Devuelve el valor de prioridad asociado al paquete 'p'. *))
(* PRE: NOT estaLlenaColaPrioridad(cp) *)
PROCEDURE insertarColaPrioridad (p : Paquete; VAR cp : ColaPrioridad);
(* Inserta el paquete p con prioridad ValorPrioridad(p) en la cola de prioridad cp *)