Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/SQL M/     Datei vom 4.1.2008 mit Größe 8 kB image not shown  

Quelle  vectors_3D_def.pvs   Sprache: unbekannt

 
vectors_3D_def : THEORY
BEGIN
  
  IMPORTING vectors_2D_def

  Vect3 : TYPE = Vect2 WITH [#  z: real  #]
  
  mk_vect3(x,y,z: real) : MACRO Vect3 =  (# x := x, y := y, z := z #) 

  CONVERSION mk_vect3
  
END vectors_3D_def

95%


[ zur Elbe Produktseite wechseln0.17Quellennavigators  Analyse erneut starten  ]