FUNCTION acyclic_action_directive_relationship

(* SCHEMA step_merged_ap_schema; *)

-- IN AP242
FUNCTION acyclic_action_directive_relationship
      (relation : action_directive_relationship;
       relatives : SET [1:?] OF action_directive;
       specific_relation : STRING ) : BOOLEAN;
   LOCAL
      x : SET OF action_directive_relationship;
   END_LOCAL;
      IF relation.relating IN relatives THEN
         RETURN (FALSE);
      END_IF;
      x := QUERY (adr <* bag_to_set(USEDIN(relation.relating, 'STEP_MERGED_AP_SCHEMA.ACTION_DIRECTIVE_RELATIONSHIP.RELATED'))| specific_relation IN TYPEOF(adr));
      REPEAT i := 1 TO HIINDEX(x);
         IF NOT acyclic_action_directive_relationship(x[i], (relatives + relation.relating), specific_relation) THEN
            RETURN (FALSE);
         END_IF;
      END_REPEAT;
      RETURN (TRUE);
END_FUNCTION;

Referenced By

Defintion acyclic_action_directive_relationship is references by the following definitions:

Definition	Type
action_directive_relationship	ENTITY

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00