Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:aufzaehlungstyp

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:aufzaehlungstyp [2014/09/24 16:43] (aktuell)
Zeile 1: Zeile 1:
 +====== Aufzählungstyp ======
 +//engl.:// **enumeration type**
 +===== Bedeutung ======
 +Die Wertemenge eines Aufzählungstyps ist eine endliche Menge (von Namen).
 +
 +===== Bemerkungen =====
 +  * Die datatype-Deklaration kann auch verwendet werden, um Aufzählungstypen zu definieren, indem nur null-stellige Konstruktoren benutzt werden.
  
glossar/aufzaehlungstyp.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)