|
ENTITY path_element SUPERTYPE OF (ONEOF (point_to_point_path, circular_path, linear_path, curve_based_path)) SUBTYPE OF (kinematic_path); node_from : path_node; node_to : path_node; WHERE WR1: compare_unit_components (node_from.t_parameter, node_to.t_parameter); WR2: increasing_measure_value (node_from.t_parameter, node_to.t_parameter); END_ENTITY; -- path_element |
Entity data types and their attributesrepresentation_itemname: label; kinematic_path - path_element node_from: path_node; node_to: path_node; |
| circular_path (kinematic_motion_representation_schema) |
| curve_based_path (kinematic_motion_representation_schema) |
| linear_path (kinematic_motion_representation_schema) |
| point_to_point_path (kinematic_motion_representation_schema) |
Global rules for this entity data type- |