| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/SSlibE2PP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 485 B |
|
Quelle Queue.vdmpp Sprache: VDM |
|||||||||
|
class Queue
functions static public empty[@T] : () -> seq of @T empty() == []; static public isEmpty[@T] : seq of @T -> bool isEmpty(s) == s = []; static public enQueue[@T] : @T * seq of @T -> seq of @T enQueue(anElem, aQueue) == aQueue ^ [anElem]; static public deQueue[@T] : seq of @T -> seq of @T deQueue(aQueue) == if aQueue = [] then [] else tl aQueue; static public top[@T] : seq of @T -> [@T] top(aQueue) == if aQueue = [] then nil else hd aQueue; end Queue ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28