Diskussion:Symbolic Model Verifier
Letzter Kommentar: vor 16 Jahren von Gamba in Abschnitt Datentypen der Eingabesprache
Datentypen der Eingabesprache
Bearbeiten- „In der Sprache gibt es nur finite Datentypen, also boolsche Werte, Skalare und feste Arrays. Statische, strukturierte Datentypen können jedoch erstellt werden.“
Diesen Satz verstehe ich nicht so ganz. Was ist mit finiten Datentypen gemeint? Können deren Instanzen nicht dynamisch ihren Wert ändern? Oder sind damit einfach nur elementare Datentypen gemeint. Was ist mit statischen strukturierten Datentypen gemeint? Muss man sich das wie eine statische (d.h. instanzlose) Klasse bzw. eher wie ein struct vorstellen? Ich denke das "jedoch" passt nur, falls im ersten Satz elementare Datentypen gemeint sind und sich aus diesen weitere Datentypen zusammensetzen lassen. Dann sind diese aber auch Teil der Sprache (und es wäre wohl eher gemeint, dass sie nicht in einem API enthalten sind) und man müsste den ersten Satz umformulieren. --Gamba 12:46, 11. Mai 2008 (CEST)