SET (set) Die Operationen der ADT MAP (map)

OPTIONAL (opti)

Boolis_element(Domain x1)

Test, ob aktueller Wert des Optionals x1 gerade NICHT nil ist

Der Name wird mit dem Namen des Elementtyps (wie oben angedeutet) UND dem Namen des Optionaltyps erweitert!

Boolis_ge(Domain x1,Domain x2)

Test, ob x1 x2 ist

Boolis_gr(Domain x1,Domain x2)

Test, ob x1 > x2 ist

Boolis_nil(Domain x1)

Test, ob aktueller Wert des Optionals x1 gerade nil ist

Boolis_opt(Domain x1,Element x2)

Test, ob aktueller Wert des Optionals x1 gerade ein gültiger Element-Wert ist; wenn ja, wird das Element im Referenzparameter x2 geliefert

x2 wird verändert

Domainmk_element(Element x1)

Liefert ein Optional mit dem aktuellen Wert x1

Identisch mit mk_opt

Der Name wird mit dem Namen des Elementtyps (wie oben angedeutet) UND dem Namen des Optionaltyps erweitert!

Domainmk_nil(void)

Liefert ein Optional mit dem aktuellen Wert nil

Domainmk_opt(Element x1)

Liefert ein Optional mit dem aktuellen Wert x1

Elements_element(Domain x1)

PRECONDITION: is_nil(x1) = FALSE

Liefert den aktuellen Wert des Optionals x1

Der Name wird mit dem Namen des Elementtyps (wie durch ,,element`` angedeutet) UND dem Namen des Optionaltyps erweitert!