|
ENTITY Datum_based_direction_element; direction : Datum_based_direction_vector; angle_value : Angle_data_element; base_datum_plane : Datum_plane; direction_of_half_datum_plane : Datum_based_direction_vector; INVERSE elements_of : SET [1:?] OF Datum_based_vector_orientation FOR direction_components; END_ENTITY; -- Datum_based_direction_element |
Entity data types and their attributesDatum_based_direction_elementdirection: Datum_based_direction_vector; angle_value: Angle_data_element; base_datum_plane: Datum_plane; direction_of_half_datum_plane: Datum_based_direction_vector; (INV) elements_of: SET [1:?] OF Datum_based_vector_orientation FOR direction_components; |
Global rules for this entity data type- |