FUNCTION acyclic_equivalent_stackup_model_definition
(relation : equivalent_stackup_model_definition_armx, relatives : SET [1:?] OF stratum_stack_model_armx, specific_relation : STRING) : BOOLEAN;
LOCAL
x : SET OF Equivalent_stackup_model_definition_armx := [];
END_LOCAL;
IF relation.primary_stackup_model IN relatives THEN
RETURN (FALSE);
END_IF;
x := QUERY(pd <* bag_to_set(USEDIN(relation.primary_stackup_model,
'FABRICATION_TECHNOLOGY_XIM.' + 'EQUIVALENT_STACKUP_MODEL_DEFINITION_ARMX.' +
'EQUIVALENT_STACKUP_MODEL')) | specific_relation IN TYPEOF(pd));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_equivalent_stackup_model_definition(x[i], relatives +
relation.primary_stackup_model, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE); END_FUNCTION; -- acyclic_equivalent_stackup_model_definition
|