To return all the basic states that are descendants of states
S1
, use the following statements:stm_id st_id;
int status;
stm_list list;
stm_list descen_states, basic_states;
.
.
st_id = stm_r_st ("S1", &status);
list =
stm_list_create (st_id, end_of_list, &status);
descen_states = stm_r_st_physical_desc_of_st (list,
&status);
basic_states = stm_r_st_basic_st (descen_states,
&status);
.
.