|
ENTITY Intra_stratum_join_relationship SUBTYPE OF (Routed_join_relationship); points_to_be_connected : SET [2:?] OF Layer_connection_point; DERIVE associated_stratum : Design_layer_stratum := points_to_be_connected[1].resident_design_layer_stratum; INVERSE ordered_implementation : SET [0:1] OF Conductor FOR implementation_requirement; random_implementation : SET [0:1] OF Connected_filled_area FOR implementation_requirement; WHERE WR1: (SIZEOF(ordered_implementation) = 1) XOR (SIZEOF(random_implementation) = 1); WR2: SIZEOF(QUERY(ptbc <* points_to_be_connected | NOT(ptbc.resident_design_layer_stratum = associated_stratum) )) = 0; END_ENTITY; -- Intra_stratum_join_relationship |
Entity data types and their attributesJoin_relationshipassociated_layout: Layered_interconnect_module_design_view; Routed_join_relationship (INV) network_topology: Routed_physical_network FOR routed_connectivity_requirement_element; Intra_stratum_join_relationship points_to_be_connected: SET [2:?] OF Layer_connection_point; (DER) associated_stratum: Design_layer_stratum; (INV) ordered_implementation: SET [0:1] OF Conductor FOR implementation_requirement; (INV) random_implementation: SET [0:1] OF Connected_filled_area FOR implementation_requirement; |
Global rules for this entity data type- |