FUNCTION acyclic_assembly_component_placement_link
(relation : assembly_component_placement_link, relatives : SET [1:?] OF assembly_component_armx, specific_relation : STRING) : BOOLEAN;
LOCAL
x : SET OF Assembly_component_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,
'COMPONENT_GROUPING_XIM.' + 'ASSEMBLY_COMPONENT_PLACEMENT_LINK.' +
'subsequent_element')) | specific_relation IN TYPEOF(pd));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_assembly_component_placement_link(x[i], relatives +
relation.precedent_element, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE); END_FUNCTION; -- acyclic_assembly_component_placement_link
|