FUNCTION acyclic_part_feature_placement_link
(relation : part_feature_placement_link, relatives : SET [1:?] OF part_feature, specific_relation : STRING) : BOOLEAN;
LOCAL x : SET OF Part_feature_placement_link := []; END_LOCAL; IF relation.precedent_element IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(pd <* bag_to_set(USEDIN(relation.precedent_element, 'PART_FEATURE_GROUPING_XIM.' + 'PART_FEATURE_PLACEMENT_LINK.' + 'SUBSEQUENT_ELEMENT')) | specific_relation IN TYPEOF(pd)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_part_feature_placement_link(x[i], relatives + relation.precedent_element, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_FUNCTION; -- acyclic_part_feature_placement_link
|