MAP (map) Die Operationen der ADT Generelle Operationen

ELEMENTARY (elem)

Domainand(Domain x1,Domain x2)

Logisches AND

Nat0, Nat1, Intg, Char: Bitweises logisches AND

Bool: Beide Argumente werden ausgewertet!

Strcvstr(Domain x1)

Liefert die Repräsentation von x1 als String

Nat0, Nat1, Intg: minimal notwendige Stellenzahl

Bool: entweder ,,TRUE`` oder ,,FALSE``

Implementation ,,ptr``: Hexadezimale Adresse

Domainfalse(void)

Liefert die definierte Konstante FALSE (FALSE = 0)

Boolis_ge(Domain x1,Domain x2)

Test, ob x1 tex2html_wrap_inline8519 x2 ist

Boolis_gr(Domain x1,Domain x2)

Test, ob x1 > x2 ist

Domainnew(Domain x1)

Bei jedem Aufruf wird ein anderer Wert geliefert als bei allen vorherigen Aufrufen

Nur für die Implementationen ,,scalar`` und ,,unsigned`` verfügbar

Domainnot(Domain x1)

Logisches NOT

Nat0, Nat1, Intg, Char: Bitweises logisches NOT

Domainor(Domain x1,Domain x2)

Logisches OR

Nat0, Nat1, Intg, Char: Bitweises logisches OR

Bool: Beide Argumente werden ausgewertet!

Domaintrue(void)

Liefert die definierte Konstante TRUE (TRUE = 1)

Domainxor(Domain x1,Domain x2)

Logisches Exklusiv-OR (XOR)

Nat0, Nat1, Intg, Char: Bitweises logisches XOR

Bool: Beide Argumente werden ausgewertet!



VDM Class Library