Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Realization Recursive_Writing_Realiz (Operation Write_Entry(evaluates E: Entry);) for Writing_Capability of Preemptable_Queue_Template;
- Recursive Procedure Write_Queue(restores Q: P_Queue);
- Var Entry: Entry;
- Var Count: Integer;
- If ( Length(Q) >= 1)
- then
- Dequeue(Entry, Q);
- Write_Entry(Entry);
- Write_Queue(Q);
- Enqueue(Entry, Q);
- While ( Count < Length(Q) )
- decreasing |Q|-Count;
- do
- Dequeue(Entry, Q);
- Enqueue(Entry, Q);
- Count := Count + 1;
- end;
- end;
- end Write_Queue;
- end Recursive_Writing_Realiz;
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
