FUNCTION acyclic_physical_connectivity_layout_topology_link
(relation : physical_connectivity_layout_topology_link_armx, relatives : SET [1:?] OF physical_connectivity_layout_topology_node_armx, specific_relation : STRING) : BOOLEAN;
LOCAL x : SET OF Physical_connectivity_layout_topology_link_armx := []; END_LOCAL; IF relation.precedent_node IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(pd <* bag_to_set(USEDIN(relation.precedent_node, 'PHYSICAL_CONNECTIVITY_DEFINITION_XIM.' + 'PHYSICAL_CONNECTIVITY_LAYOUT_TOPOLOGY_LINK_ARMX.' + 'SUBSEQUENT_NODE')) | specific_relation IN TYPEOF(pd)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_physical_connectivity_layout_topology_link(x[i], relatives + relation.precedent_node, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_FUNCTION; -- acyclic_physical_connectivity_layout_topology_link
|