|
ENTITY rotation_about_direction; direction_of_axis : direction; rotation_angle : plane_angle_measure; WHERE WR1: SIZEOF (direction_of_axis.direction_ratios) = 3; END_ENTITY; -- rotation_about_direction |
Entity data types and their attributesrotation_about_directiondirection_of_axis: direction; rotation_angle: plane_angle_measure; |
Global rules for this entity data type- |