FUNCTION acyclic_library_to_design_stack_model_mapping
(relation : library_to_design_stack_model_mapping_armx; relatives : SET [1:?] OF design_stack_model_armx; specific_relation : STRING) : BOOLEAN;
LOCAL x : SET OF Library_to_design_stack_model_mapping_armx := []; END_LOCAL;
IF relation.relating_product_definition IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(pd <* bag_to_set(USEDIN(relation.relating_product_definition, 'LAYERED_INTERCONNECT_COMPLEX_TEMPLATE_XIM.' + 'LIBRARY_TO_DESIGN_STACK_MODEL_MAPPING_ARMX.' + 'RELATED_VIEW')) | specific_relation IN TYPEOF(pd)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_library_to_design_stack_model_mapping(x[i], relatives + relation.relating_product_definition, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_FUNCTION; -- acyclic_library_to_design_stack_model_mapping
|