Typ für kleine Mengen: SET

Oberon bietet einen Basistyp für kleine Mengen an: SET.

Mögliche Elemente einer Menge vom Typ SET sind die ganzen Zahlen zwischen 0 und MAX(SET).

Bei unserer Implementierung hat MAX(SET) den Wert 31.

Größere Mengen werden über Arrays realisiert. Das wird vom Modul Sets unterstützt.

Beispiel: VAR set: SET;

Mengen können mit geschweiften Klammern konstruiert werden.
Beispiel: set := {3, 4, 7..10, i-1..j};

Operatoren für Mengen:

s1 + s2 Mengen-Vereinigung: s₁ ∪ s₂

s1 - s2 Mengen-Differenz: s₁ \ s₂

s1 * s2 Schnitt-Menge: s₁ ∩ s₂

s1 / s2 Symmetrische Differenz: s₁ (-) s₂

-s Komplement: s'

s1 = s2 Test auf Gleichheit: s₁ = s₂

s1 # s2 Test auf Ungleichheit: s₁ ≠ s₂

i IN s Test auf Mengenzugehörigkeit: i ∈ s

INCL(s1,i) äquivalent zu s1 := s1 + {i};

EXCL(s1,i) äquivalent zu s1 := s1 - {i};