|
ENTITY Physical_connectivity_structure_definition SUBTYPE OF (Physical_connectivity_definition); DERIVE structural_terminal_nodes : SET [0:?] OF Physical_component_terminal := get_pct(structural_element); structural_junction_nodes : SET [0:?] OF Topological_junction := 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 Physical_connectivity_element FOR connectivity_context; WHERE WR1: SIZEOF(QUERY(stn <* structural_terminal_nodes | NOT(stn IN SELF\Physical_connectivity_definition.associated_terminals) )) = 0; WR2: SIZEOF(structural_terminal_nodes) = SIZEOF(SELF\Physical_connectivity_definition.associated_terminals); END_ENTITY; -- Physical_connectivity_structure_definition |
Entity data types and their attributesShape_element(OPT) id: STRING; (OPT) element_name: STRING; (OPT) description: STRING; containing_shape: Item_shape; Physical_connectivity_definition associated_terminals: SET [2:?] OF Physical_component_terminal; (RT) element_name: STRING; (RT) containing_shape->associated_definition: Physical_unit_network_definition; (INV) domain: SET [0:1] OF Physical_connectivity_definition_domain FOR associated_definition; Physical_connectivity_structure_definition (DER) structural_terminal_nodes: SET [0:?] OF Physical_component_terminal; (DER) structural_junction_nodes: SET [0:?] OF Topological_junction; (DER) tree_structure: LOGICAL; (INV) structural_element: SET [1:?] OF Physical_connectivity_element FOR connectivity_context; |
Global rules for this entity data type- |