|
ENTITY Passage_technology_allocation_to_stack_model SUBTYPE OF (Stratum_sub_stack); allocated_technology : Passage_technology; single_stratum_passage_location : OPTIONAL Stratum_technology_occurrence; target_stratum : OPTIONAL Stratum_technology_occurrence; DERIVE terminus_stratum : SET [0:?] OF Stratum_technology_occurrence := ft_get_terminus(SELF\Stratum_sub_stack.stratum_technology_sequence); INVERSE minimum_annular_ring : SET [0:?] OF Allocated_passage_minimum_annular_ring FOR associated_passage_allocation; WHERE WR1: (NOT EXISTS(single_stratum_passage_location) OR (single_stratum_passage_location IN SELF\Stratum_sub_stack.associated_stackup.composing_occurrence)); WR2: EXISTS(SELF\Stratum_sub_stack.stratum_technology_sequence) XOR EXISTS(single_stratum_passage_location); WR3: SIZEOF(get_stack(SELF\Stratum_sub_stack.stratum_technology_sequence)) = (SIZEOF(SELF\Stratum_sub_stack.stratum_technology_sequence) + 1); WR4: sts_vertex_degree_check(SELF\Stratum_sub_stack.stratum_technology_sequence, 2); WR5: NOT EXISTS(single_stratum_passage_location) OR NOT EXISTS(target_stratum); WR6: NOT EXISTS(target_stratum) OR ((target_stratum IN SELF\Stratum_sub_stack.associated_stackup.composing_occurrence) AND (target_stratum IN terminus_stratum)); WR7: ft_count_unspecified_asto(minimum_annular_ring) < 2; END_ENTITY; -- Passage_technology_allocation_to_stack_model |
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; Passage_technology_allocation_to_stack_model allocated_technology: Passage_technology; (OPT) single_stratum_passage_location: Stratum_technology_occurrence; (OPT) target_stratum: Stratum_technology_occurrence; (DER) terminus_stratum: SET [0:?] OF Stratum_technology_occurrence; (INV) minimum_annular_ring: SET [0:?] OF Allocated_passage_minimum_annular_ring FOR associated_passage_allocation; |
Global rules for this entity data type- |