Searched refs:src_smap (Results 1 – 2 of 2) sorted by relevance
759 const sm_state_map &src_smap = *src_state.m_checker_states[i]; in for_each_state_change() local763 if (src_smap.get_global_state () != dst_smap.get_global_state ()) in for_each_state_change()765 src_smap.get_global_state (), in for_each_state_change()798 state_machine::state_t src_sm_val = src_smap.get_state (src_sid); in for_each_state_change()
1599 const sm_state_map &src_smap = *src_state.m_checker_states[i]; in for_each_state_change() local1603 if (src_smap.get_global_state () != dst_smap.get_global_state ()) in for_each_state_change()1605 src_smap.get_global_state (), in for_each_state_change()1617 = src_smap.get_state (sval, ext_state); in for_each_state_change()