|
ENTITY Part_connected_terminals_definition; name : STRING; associated_definition : Part_usage_view; connected_terminals : SET [2:?] OF Part_terminal; INVERSE domain : SET [0:1] OF Part_connected_terminals_definition_domain FOR associated_definition; 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; (INV) domain: SET [0:1] OF Part_connected_terminals_definition_domain FOR associated_definition; |
| Part_connected_terminals_structure_definition (Functional_assignment_to_part_arm) |
Global rules for this entity data type- |