Especificación de TAD

Especificación de TAD

de Jorge Sebastian Aguerre Valdivia -
Número de respuestas: 0

Primero, una pregunta media tonta, cuando se especifican los TAD en los exámenes, ¿hay que poner cuales operaciones son predicados, cuales constructoras, etc?

En segundo lugar, veo que en varias soluciones de exámenes especifican cosas de esta manera:

 

PROCEDURE Insert (t:T; p:CARDINAL; PQ:PQueue):Queue

Mi duda está en si estaría mal hacerlo así

PROCEDURE Insert (t:T; p:CARDINAL; VAR PQ:PQueue);