| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/SSlibE2PP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 393 B |
|
Quelle Number.vdmpp Sprache: VDM |
|||||||||
|
class Number
functions static public isComputable[@e]: @e -> bool isComputable(n) == is_(n,int) or is_(n,nat) or is_(n,nat1) or is_(n,real) or is_(n,rat); static public min[@e] :( @e * @e -> bool) -> @e -> @e -> @e min(f)(n1)(n2) == if f(n1,n2) then n1 else n2; static public max[@e] : ( @e * @e -> bool) -> @e -> @e -> @e max(f)(n1)(n2) == if f(n1,n2) then n2 else n1; end Number ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28