Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:diskriminator

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)