|
\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.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
