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: 2016/09/22 10:14 (Externe Bearbeitung)