|
ENTITY Part_connected_terminals_structure_definition SUBTYPE OF (Part_connected_terminals_definition); DERIVE structural_terminal_nodes : SET [0:?] OF Part_terminal := fatp_get_pt(structural_element); structural_junction_nodes : SET [0:?] OF Part_connected_terminals_topological_junction := fatp_get_tj(structural_element); tree_structure : LOGICAL := ((SIZEOF(structural_terminal_nodes) + SIZEOF(structural_junction_nodes)) = (SIZEOF(structural_element) + 1)); INVERSE structural_element : SET [1:?] OF Part_connected_terminals_element FOR connectivity_context; WHERE WR1: SIZEOF(QUERY(stn <* structural_terminal_nodes | NOT(stn IN SELF\Part_connected_terminals_definition.connected_terminals) )) = 0; WR2: SIZEOF(structural_terminal_nodes) = SIZEOF(SELF\Part_connected_terminals_definition.connected_terminals); END_ENTITY; -- Part_connected_terminals_structure_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 (DER) structural_terminal_nodes: SET [0:?] OF Part_terminal; (DER) structural_junction_nodes: SET [0:?] OF Part_connected_terminals_topological_junction; (DER) tree_structure: LOGICAL; (INV) structural_element: SET [1:?] OF Part_connected_terminals_element FOR connectivity_context; |
Global rules for this entity data type- |