|
ENTITY Local_linear_stack SUBTYPE OF (Stratum_sub_stack); SELF\Stratum_sub_stack.stratum_technology_sequence : SET [1:?] OF Stratum_technology_occurrence_link; WHERE WR1: SIZEOF(get_stack(stratum_technology_sequence)) = (SIZEOF(stratum_technology_sequence) + 1); WR2: sts_vertex_degree_check(stratum_technology_sequence, 2); END_ENTITY; -- Local_linear_stack |
Entity data types and their attributesItem_shape(OPT) id: STRING; (OPT) description: STRING; described_element: shapeable_item; Product_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; Template_definition (RT) defined_version: Template_version; (OPT) physical_characteristic: SET [1:?] OF correlated_or_independent; (RT) (DER) described_element: Template_definition; Stratum_sub_stack (OPT) stratum_technology_sequence: SET [1:?] OF Stratum_technology_occurrence_link; (OPT) stack_thickness: Length_tolerance_characteristic; associated_stackup: Design_stack_model; Local_linear_stack (RT) stratum_technology_sequence: SET [1:?] OF Stratum_technology_occurrence_link; |
Global rules for this entity data type- |