| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/SAFERSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 900 B |
|
Quelle auxilary.vdmsl Sprache: VDM |
|||||||||
|
\begin{vdm_al}
module AUX exports all definitions values arbitrary_value = mk_token(1001); axis_command_set : set of AxisCommand = {<Neg>,<Zero>,<Pos>}; tran_axis_set : set of TranAxis = {<X>,<Y>,<Z>}; rot_axis_set : set of RotAxis = {<Roll>,<Pitch>,<Yaw>}; null_tran_command : TranCommand = {a |-> <Zero> | a in set tran_axis_set}; null_rot_command : RotCommand = {a |-> <Zero> | a in set rot_axis_set}; null_six_dof : SixDofCommand = mk_SixDofCommand(null_tran_command,null_rot_command) types AxisCommand = <Neg> | <Zero> | <Pos>; TranAxis = <X> | <Y> | <Z>; RotAxis = <Roll> | <Pitch> | <Yaw>; TranCommand = map TranAxis to AxisCommand inv cmd == dom cmd = tran_axis_set; RotCommand = map RotAxis to AxisCommand inv cmd == dom cmd = rot_axis_set; SixDofCommand :: tran : TranCommand rot : RotCommand end AUX \end{vdm_al} ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28