|
ENTITY composite_path SUBTYPE OF (kinematic_path); elements : SET [1:?] OF path_element_connection; t_start : motion_parameter_measure; t_end : motion_parameter_measure; WHERE WR1: increasing_measure_value (t_start, t_end); WR2: compare_unit_components (t_start, t_end); WR3: connected_in_simple_path (elements); END_ENTITY; -- composite_path |
Entity data types and their attributesrepresentation_itemname: label; kinematic_path - composite_path elements: SET [1:?] OF path_element_connection; t_start: motion_parameter_measure; t_end: motion_parameter_measure; |
Global rules for this entity data type- |