|
ENTITY Bus_structural_definition; bus_name : STRING; composition : SET [1:?] OF Bus_element_link; INVERSE external_bus_access : SET [0:1] OF Functional_unit_network_terminal_definition_bus_assignment FOR connected_bus; UNIQUE UR1 : bus_name; WHERE WR1: consistent_bus_structural_definition(composition); END_ENTITY; -- Bus_structural_definition |
Entity data types and their attributesBus_structural_definitionbus_name: STRING; composition: SET [1:?] OF Bus_element_link; (INV) external_bus_access: SET [0:1] OF Functional_unit_network_terminal_definition_bus_assignment FOR connected_bus; |
Global rules for this entity data type- |