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 (IN st_list: LIST OF
STATE,OUT status: INTEGER)
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 (IN st_list: LIST OF STATE,
OUT status: INTEGER)
Query: Elements that see, or are influenced by a given state.Purpose: Returns the elements that directly or indirectly use the states in the input list.stm_r_mx_influenced_by_st (IN st_list: LIST OF
STATE, OUT status: INTEGER)
Query: Elements that see a given state.Purpose: Returns the elements that directly see states in the input list.stm_r_mx_refer_to_st (IN st_list: LIST OF STATE, OUT
status: INTEGER)
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 (IN st_list: LIST OF
STATE, OUT status: INTEGER)
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 (IN st_list: LIST OF STATE,OUT
status: INTEGER)