Query: Termination or history connectors in a given statePurpose: Returns the termination and history connectors contained in the states in the input liststm_r_cn_history_or_term_in_st (stm_list
in_list, int *status);
Query: Connectors in a given statePurpose: Returns the connectors contained in the states in the input liststm_r_cn_in_st (stm_list in_list, int
*status);