Searched defs:state_a (Results 1 – 3 of 3) sorted by relevance
1780 const program_state &state_a = ka.m_enode->get_state (); in cmp() local
2305 const program_state &state_a = ka.m_enode->get_state (); in cmp() local
4197 const program_state *state_a, in can_merge_with_p()