Query: Elements affected by a given state.Purpose: Returns the elements (data-items, conditions, and events) that are affected (modified or generated) by states (in mini-specs and combinational assignments) in the input list.stm_r_mx_affected_by_st (stm_list
in_list, int *status);
Query: Elements that are referenced by or influence a given state.Purpose: Returns the elements that are used in all levels by the states in the input list.This includes all logical descendant states, the transitions that enter or exit these states, and the elements that appear in the various fields of these states, the labels of the transitions, and their components.stm_r_mx_influence_st (stm_list in_list,
int *status);
Query: Elements that refer to, or are influenced by a given state.Purpose: Returns the elements that directly or indirectly use the states in the input list.This query identifies all the elements, in all levels, that refer to or affect the input states.stm_r_mx_influenced_by_st (stm_list
in_list, int *status);
Query: Elements that refer to a given state.Purpose: Returns the elements that directly refer to states in the input list.stm_r_mx_refer_to_st (stm_list in_list,
int *status);
Query: Elements that are referenced by a given state.Purpose: Returns the elements that appear in the states of the input list.This includes all physical descendant states, the transitions that enter or exit these states, and the elements that appear in the various fields of these states and in the labels of the transitions.stm_r_mx_referenced_by_st (stm_list
in_list, int *status);
Query: Elements used by a given state.Purpose: Returns the elements (data-items, conditions, and events) that are used (evaluated) by states (in mini-specs and combinational assignments) in the input list.stm_r_mx_used_by_st (stm_list in_list,
int *status);