files/practicum/Kogelbaan.dcl

   1 definition module Kogelbaan
   2
   3 :: T :== Real       // T staat voor tijd (s).
   4 :: V :== Real       // R staat voor snelheid (m/s).
   5 :: A :== Real       // A staat voor hoek (radialen).
   6 :: G :== Real       // G staat voor valversnelling (m/s^2).
   7 :: D :== Real       // M staat voor afstand (m).
   8
   9 // De valversnelling g is een 'echte' constante:
  10 g                   :: G
  11
  12 v_x                 :: // geef type van v_x
  13 v_y                 :: // geef type van v_y
  14 x_at                :: // geef type van x_at
  15 y_at                :: // geef type van y_at
  16 h                   :: // geef type van h
  17
  18 beste_hoek          :: V -> ...