Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:diskriminator

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:diskriminator [2014/09/24 16:43] (aktuell)
Zeile 1: Zeile 1:
 +====== Diskriminator ======
 +//engl.:// **discriminator**
 +===== Bedeutung ======
 +Diskriminatorfunktionen oder Diskriminatoren prüfen, ob der Wert eines benutzerdefinierten Datentyps zu einer bestimmten Alternative gehört.
 +
  
glossar/diskriminator.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)