Query: Elements affected by a given activity.Purpose: Returns the elements that are sources of basic transitions in the input list Query: Transitions containing the given basic transitionsPurpose: Returns the compound transitions that contain the basic transitions in the input liststm_r_tr_containing_bt (IN bt_list: LIST OF
TRANSITION, OUT status: INTEGER)
Query: Transitions containing the given basic transitionsPurpose: Returns the compound transitions that contain the basic transitions in the input liststm_r_tr_containing_bt (IN bt_list: LIST OF
TRANSITION, OUT status: INTEGER)
Query: Basic transitions whose source is the specified statePurpose: Returns the basic transitions whose source is a state appearing in the input liststm_r_bt_exit_from_st (IN st_list: LIST OF STATE,
OUT status: INTEGER)
Query: Basic transitions whose source is the specified connector.Purpose: Returns the basic transitions whose source is a connector appearing in the input liststm_r_bt_exit_from_cn (IN cn_list: LIST OF
CONNECTOR, OUT status: INTEGER)
Query: Basic transitions whose target is the specified statePurpose: Returns the basic transitions whose target is a state appearing in the input liststm_r_bt_enter_st (IN st_list: LIST OF STATE, OUT
status: INTEGER)
Query: Basic transitions whose target is the specified connectorPurpose: Returns the basic transitions whose target is a connector appearing in the input liststm_r_bt_enter_cn (IN st_list: LIST OF CONNECTOR,
OUT status: INTEGER)
Query: Basic transitionsPurpose: Returns the basic transitions defined in the input list of chartsstm_r_bt_defined_in_ch(IN ch_list: LIST OF CHART,
OUT status: INTEGER);
Query: A-flow-linesPurpose: Returns the a-flow-lines that contain the basic a-flow-lines in the input liststm_r_af_containing_ba(IN ba_list: LIST OF
A_FLOW_LINE, OUT status: INTEGER);