| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/AlarmPP/ (Beweissystem der NASA Version 6.0.9©) Datei vom 13.4.2020 mit Größe 431 B |
|
Quelle expert.vdmpp Sprache: VDM |
|||||||||
|
\begin{vdm_al}
class Expert instance variables quali : set1 of Qualification; \end{vdm_al} \begin{vdm_al} types public Qualification = <Mech> | <Chem> | <Bio> | <Elec>; \end{vdm_al} \begin{vdm_al} operations public Expert: set1 of Qualification ==> Expert Expert(qs) == quali := qs; \end{vdm_al} \begin{vdm_al} pure public GetQuali: () ==> set of Qualification GetQuali() == return quali; end Expert \end{vdm_al} ¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28