Domaincopy(Domain x1)
Eine physikalische Kopie des Objekts x1 wird erzeugt; bei strukturierten Werten werden alle Sub-Strukturen ebenfalls kopiert.
Domaincopy1(Domain x1)
Eine physikalische Kopie des Objekts x1 wird erzeugt; bei strukturierten Objekten werden die Sub-Strukturen nicht kopiert, stattdessen weisen Pointer auf die Original-Substrukturen.
Str cvlines(Domain x1)
Liefert den Wert von x1 als formatierter Text (Hilfsfunktion für print)
Die Darstellung der ELEMENTARY-Objekte entspricht dem Ergebnis der Operation cvstr
voiddel(Domain x1)
Das Objekt x1 gelöscht (bei strukturierten Objekten werden alle Sub-Strukturen ebenfalls gelöscht).
voiddel1(Domain x1)
Das Objekt x1 gelöscht (bei strukturierten Objekten werden die Sub-Strukturen nicht gelöscht).
Nat0hash(Domain x1)
Ermittlung eines Hash-Wertes für das Objekt x1 (Hilfsfunktion für die Implementation von Sets und Maps mit Hilfe von Hash-Tabellen). Für strukturierte Objekte wird die Summe der Element-Hash-Werte gebildet.
Nat0, Nat1, Intg, Char: Ergebnis ist ein vorzeichenloser Wert
Parameter HASHSHIFT (optional): Anzahl von zusätzlichen, bitweisen Shifts nach rechts
Bool: Hash-Funktion ist die Identitäts-Funktion
Implementation ,,ptr``: Adresse wird in ,,unsigned int`` konvertiert und ein Shift um 2 Bits nach rechts durchgeführt
Boolis_eq(Domain x1,Domain x2)
Test auf Gleichheit
voidpr(Domain x1)
Ausgabe des Wertes von x1 auf stderr mit Hilfe der jeweiligen cvlines-Operation, (strukturierte Objekte werden in angemessener Form dargestellt)
voidprint(Domain x1)
Ausgabe des Wertes von x1 auf stderr mit Hilfe der jeweiligen cvlines-Operation, unformatiert
print Sollte nicht benutzt werden, denn pr erzeugt eine formatierte Ausgabe!