|
ENTITY Part_connected_terminals_element; name : STRING; start_terminus : fatp_termination_or_junction; end_terminus : fatp_termination_or_junction; connectivity_context : Part_connected_terminals_definition; UNIQUE UR1 : name, connectivity_context; WHERE WR1: start_terminus <> end_terminus; END_ENTITY; -- Part_connected_terminals_element |
Entity data types and their attributesPart_connected_terminals_elementname: STRING; start_terminus: fatp_termination_or_junction; end_terminus: fatp_termination_or_junction; connectivity_context: Part_connected_terminals_definition; |
Global rules for this entity data type- |