FUNCTION acyclic_passage_terminal_based_fabrication_joint_link
(relation : passage_terminal_based_fabrication_joint_link_armx, relatives : SET [1:?] OF fabrication_joint_armx, specific_relation : STRING) : BOOLEAN;
LOCAL
x : SET OF Passage_terminal_based_fabrication_joint_link_armx;
END_LOCAL;
IF relation.precedent_point IN relatives THEN
RETURN (FALSE);
END_IF;
x := QUERY(pd <* bag_to_set(USEDIN(relation.precedent_point,
'FABRICATION_JOINT_XIM.' + 'PASSAGE_TERMINAL_BASED_FABRICATION_JOINT_LINK_ARMX.' +
'SUBSEQUENT_POINT')) | specific_relation IN TYPEOF(pd));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_passage_terminal_based_fabrication_joint_link(x[i],
relatives + relation.precedent_point, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE); END_FUNCTION; -- acyclic_passage_terminal_based_fabrication_joint_link
|