FUNCTION acyclic_state_definition_to_state_assignment_relationship

(* SCHEMA step_merged_ap_schema; *)

-- IN AP242
FUNCTION acyclic_state_definition_to_state_assignment_relationship
      (relation : state_definition_to_state_assignment_relationship;
       relatives : SET [1:?] OF ascribable_state;
       specific_relation : STRING ) : LOGICAL;
   LOCAL
      x : SET OF state_definition_to_state_assignment_relationship;
   END_LOCAL;
      IF relation.relating_ascribable_state IN relatives THEN
         RETURN (FALSE);
      END_IF;
      x := QUERY (sdtsar <* bag_to_set(USEDIN(relation.relating_ascribable_state, 'STEP_MERGED_AP_SCHEMA.STATE_DEFINITION_TO_STATE_ASSIGNMENT_RELATIONSHIP.RELATED_ASCRIBABLE_STATE'))| specific_relation IN TYPEOF(sdtsar));
      REPEAT i := 1 TO HIINDEX(x);
         IF NOT acyclic_state_definition_to_state_assignment_relationship(x[i], (relatives + relation.relating_ascribable_state), specific_relation) THEN
            RETURN (FALSE);
         END_IF;
      END_REPEAT;
      RETURN (TRUE);
END_FUNCTION;

Referenced By

Defintion acyclic_state_definition_to_state_assignment_relationship is references by the following definitions:

Definition	Type
state_definition_to_state_assignment_relationship	ENTITY

[Top Level Definitions] [Exit]

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