Hallo!

bei den ADTen gibt's ja die Typen, Funktionen, Axiome und Vorbedingungen:

Leider verstehe ich die funktionale Schreibweise nicht:

insert bei einer Menge:

insert: SET[T] -> T -> SET[T]
delete: SET[T] /-> T -> SET[T]

Wer kann mir das mal kurz, bündig und verständlich erklären!?

Vielen Dank!!!

Marco

insert: SET[T] -> T -> SET[T]

Eine Menge und ein Element als Argument ein SET[T] als Rueckgabe. Ich faende eigentlich set[T] x T -> SET[T] schoener (zumal ja in den Bedingungen dann auch sowas steht wie insert(S,t) o.ae. mit S : SET[T], t : T). Zurueck erhaelst du bei insert(S,t) gerade die Menge S vereinigt mit {t}

delete: SET[T] /-> T -> SET[T]

Entfernt das Element aus der Menge, liefert eine Menge zurueck. Nur partiell, weil die Menge (die als Argument dient) nicht leer sein darf. Dies muesste in den Bedingungen spezifiziert werden.

Cheers.

delete: SET[T] /-> T -> SET[T]

Entfernt das Element aus der Menge, liefert eine Menge zurueck.

Ist die Rueckgabe nicht die (um ein Element kleinere) Menge und das entfernte Element?

Ist die Rueckgabe nicht die (um ein Element kleinere) Menge und das entfernte Element?

Nein. Wie sollte das gehen? Sollte etwa ein beliebiges Element entfernt werden? Man muss angeben welches Element man aus der Menge entfernen moechte.

(Dies ist ja keine Queue oder aehnliches, wo immer klar ist welches Element entfernt werden soll, sondern eine Menge!)

Cheers.

Nein. Wie sollte das gehen? Sollte etwa ein beliebiges Element entfernt werden?

Aeh, ja. Wer lesen kann ist klar im Vorteil. Stack != Set. Danke.