| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/vectors/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 175 B |
|
Quelle vectors_2D_def.pvsSprache: PVS |
|||||||||||||||
|
vectors_2D_def : THEORY BEGIN Vect2 : TYPE = [# x, y: real #] mk_vect2(x,y:real) : MACRO Vect2 = (# x := x, y := y #) CONVERSION mk_vect2 END vectors_2D_def
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-14) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09