FUNCTION acyclic_stratum_technology_occurrence_relationship
(relation : stratum_technology_occurrence_relationship_armx, relatives : SET [1:?] OF stratum_technology_occurrence_armx, specific_relation : STRING) : BOOLEAN;
LOCAL x : SET OF Stratum_technology_occurrence_relationship_armx := []; END_LOCAL; IF relation.sto_1 IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(pd <* bag_to_set(USEDIN(relation.sto_1, 'FABRICATION_TECHNOLOGY_XIM.' + 'STRATUM_TECHNOLOGY_OCCURRENCE_RELATIONSHIP_ARMX.' + 'STO_2')) | specific_relation IN TYPEOF(pd)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_Stratum_technology_occurrence_relationship(x[i], relatives + relation.sto_1, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_FUNCTION; -- acyclic_stratum_technology_occurrence_relationship
|