Elementare Datentypen Die VDM-Basistypen Speicherverwaltung

Generelle Operationen

Neben den im vorigen Abschnitt bereits angesprochenen Kopier- und Lösch-Operationen zur Speicherverwaltung gibt es noch einige andere universell verfügbare Operationen, die Sie hier an zentraler Stelle zusammengefaßt finden. Auch in der Befehlsreferenz im Anhang B sind diese Operationen ausgegliedert.

Die übrigen generellen Operationen werden Sie in der Regel nicht benötigen, denn sie dienen nur als Hilfsfunktionen für andere, wichtigere Operationen.



VDM Class Library