|
ENTITY Part_connected_terminals_definition; name : STRING; associated_definition : Part_usage_view; connected_terminals : SET [2:?] OF Part_terminal; UNIQUE UR1 : name, associated_definition; WHERE WR1: SIZEOF(QUERY(ct <* connected_terminals | NOT (associated_definition = ct\Shape_element.containing_shape))) = 0; END_ENTITY; -- Part_connected_terminals_definition |
Entity data types and their attributesPart_connected_terminals_definitionname: STRING; associated_definition: Part_usage_view; connected_terminals: SET [2:?] OF Part_terminal; |
Global rules for this entity data type- |