FUNCTION acyclic_area_component
(relation : Area_component; relatives : SET [1:?] OF Area_component; specific_relation : STRING) : BOOLEAN;
LOCAL
x : SET OF Area_component;
END_LOCAL;
IF relation.replaced_component IN relatives THEN
RETURN (FALSE);
END_IF;
x := QUERY(pd <* bag_to_set(USEDIN(relation.replaced_component,
'LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.' +
'AREA_COMPONENT.' +
'REPLACED_BY')) | specific_relation IN TYPEOF(pd));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_area_component(x[i], relatives +
relation.replaced_component, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE); END_FUNCTION; -- acyclic_area_component
|