public
Pop : () ==> int
Pop() == def res = hd stack in
(stack := tl stack; return res) pre stack <> [] post stack~ = [RESULT]^stack;
public Push: int ==> ()
Push(elem) ==
stack := stack ^[elem];
public
Top : () ==> int
Top() == return (hd stack);
end Stack
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.10Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
