|
ENTITY path_element_connection; previous_element : path_element; next_element : path_element; WHERE WR1: previous_element.node_to = next_element.node_from; WR2: compare_unit_components (previous_element.node_to.t_parameter, next_element.node_from.t_parameter); END_ENTITY; -- path_element_connection |
Entity data types and their attributespath_element_connectionprevious_element: path_element; next_element: path_element; |
Userspath_element_connectioncomposite_path.elements |
Global rules for this entity data type- |