Lines Matching defs:ext_state
1569 /* Compare SRC_STATE and DST_STATE (which use EXT_STATE), and call
1589 const extrinsic_state &ext_state,
1593 == ext_state.get_num_checkers ());
1595 == ext_state.get_num_checkers ());
1596 for (unsigned i = 0; i < ext_state.get_num_checkers (); i++)
1598 const state_machine &sm = ext_state.get_sm (i);
1617 = src_smap.get_state (sval, ext_state);
1646 ext_state)
1649 m_ext_state (ext_state)
1908 const extrinsic_state &ext_state = pb.get_ext_state ();
1911 for (unsigned i = 0; i < ext_state.get_num_checkers (); i++)
1913 const state_machine &sm = ext_state.get_sm (i);
Indexes created Fri Mar 27 00:22:57 UTC 2026