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 (stm_list in_list,
int *status);
Query: Elements labeling a given transitionPurpose: Returns those elements that appear in labels of the transitions in the input liststm_r_mx_labeling_tr (stm_list in_list,
int *status);
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 (stm_list in_list,
int *status);
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 (stm_list in_list,
int *status);
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 (stm_list in_list,
int *status);