|
ENTITY Physical_connectivity_layout_topology_requirement SUBTYPE OF (Predefined_requirement_view_definition, Group); SELF\Group.elements : SET [1:?] OF Physical_connectivity_layout_topology_link; DERIVE nodes : SET [1:?] OF Physical_connectivity_layout_topology_node := pcd_get_pcltn(elements); tree_structure : LOGICAL := (SIZEOF(nodes) = (SIZEOF(elements) + 1)); WHERE WR1: (tree_structure = TRUE); END_ENTITY; -- Physical_connectivity_layout_topology_requirement |
Entity data types and their attributesProduct_view_definition(OPT) id: STRING; (OPT) name: STRING; (OPT) additional_characterization: STRING; initial_context: View_definition_context; additional_contexts: SET [0:?] OF View_definition_context; defined_version: Product_version; Requirement_view_definition (RT) defined_version: Requirement_version; Predefined_requirement_view_definition (OPT) required_analytical_representation: SET [1:?] OF Analytical_model_application; (OPT) required_functional_specification: SET [1:?] OF Functional_specification; (OPT) required_characteristic: characteristic_select; (DER) requirement_specification: SET [1:?] OF Document_definition; (DER) reference_clause: SET [0:1] OF Document_definition; (INV) required_material: SET [0:1] OF Material_identification FOR items; Group (OPT) id: STRING; name: STRING; (OPT) description: STRING; elements: SET [0:?] OF groupable_item; (OPT) membership_meaning: STRING; Physical_connectivity_layout_topology_requirement (RT) elements: SET [1:?] OF Physical_connectivity_layout_topology_link; (DER) nodes: SET [1:?] OF Physical_connectivity_layout_topology_node; (DER) tree_structure: LOGICAL; |
Global rules for this entity data type- |