Query: Elements affected by a given transitionPurpose: Returns the elements (data-items, conditions, and events) that are affected (modified, generated) by transitions (in mini-specs and combinational assignments) in the input liststm_r_mx_affected_by_tr (IN tr_list: LIST OF
TRANSITION,OUT status: INTEGER)
Query: Elements labeling a given transitionPurpose: Returns those elements that appear in labels of the transitions in the input liststm_r_mx_labeling_tr (IN tr_list: LIST OF
TRANSITION, OUT status: INTEGER)
Query: Elements that are sources of a given transitionPurpose: Returns the elements (states and connectors) that are sources of transitions in the input liststm_r_mx_source_of_tr (IN tr_list: LIST OF
TRANSITION,OUT status: INTEGER)
Query: Elements that are targets of a given transitionPurpose: Returns elements (states and connectors) that are targets of transitions in the input liststm_r_mx_target_of_tr (IN tr_list: LIST OF
TRANSITION,OUT status: INTEGER)
Query: Elements used by a given transitionPurpose: Returns the elements (data-items, conditions, and events) that are used (evaluated) by transitions (in mini-specs and combinational assignments) in the input liststm_r_mx_used_by_tr (IN tr_list: LIST OF
TRANSITION,OUT status: INTEGER)