| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/QuadilateralPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 324 B |
|
Quelle README.txtSprache: Text |
|||||||||
|
Author: Stephen Goldsack
This example deals with quadilaterals (figures with four straight lines) and the inheritance between them. A few basic operations are defined in the respective classes. This package also illustrates how to make use of C++ code automatically generated using VDMTools. Language Version: vdm10 ¤ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet am 2026-04-30) ¤*© Formatika GbR, Deutschland |
|
2026-05-26