deleteMin -- deletes the minimum element of the queue

• Usage:

  Q = deleteMin Q

• Inputs:
  • Q, an instance of the type PriorityQueue,
• Outputs:
  • Q, an instance of the type PriorityQueue, the same PriorityQueue as the input, now with the minimum deleted

i1 : Q = priorityQueue {1,2,3}

o1 = PriorityQueue{...4...}

o1 : PriorityQueue

i2 : deleteMin Q

o2 = PriorityQueue{...4...}

o2 : PriorityQueue

i3 : min Q

o3 = 2