Query: Transitions that are the default entrance of a given statePurpose: Returns the default entrances (compound transitions) of the states in the input liststm_r_tr_default_of_st (stm_list in_list,
int *status));
Query: Transitions whose source is the specified statePurpose: Returns the transitions whose source is a state appearing in the input liststm_r_tr_from_source_st (stm_list in_list,
int *status);
Query: Transitions whose target is a given statePurpose: Returns the transitions whose target is a state appearing in the input list.stm_r_tr_to_target_st (stm_list in_list,
int *status);