Query: States defined or unresolved in a given chartPurpose: Returns the states that are explicitly defined or unresolved in the charts of the input liststm_r_st_def_or_unres_in_ ch (stm_list
in_list, int *status);
Query: States defined in a given chartPurpose: Returns the states that are explicitly defined in the charts of the input liststm_r_st_defined_in_ch (stm_list in_list,
int *status);
Query: State instances of a given chartPurpose: Returns the instance states defined by the charts in the input liststm_r_st_instance_of_ch (stm_list
in_list, int *status));
Query: Root states of a given chartPurpose: Returns the internally defined states (of type diagram) attached to the charts in the input liststm_r_st_root_in_ch (stm_list in_list,
int *status);
Query: Top-level states of a given chartPurpose: Returns the top-level states (not contained in any box) of the charts in the input liststm_r_st_top_level_in_ch (stm_list
in_list, int *status);
Query: States unresolved in a given chartPurpose: Returns the states that are unresolved in the charts of the input liststm_r_st_unresolved_in_ch (stm_list
in_list, int *status);