Lines Matching refs:program_state
37 const program_state *old_state,
38 program_state *new_state,
45 impl_region_model_context (program_state *state,
99 const program_state *m_old_state;
100 program_state *m_new_state;
116 const program_state &state) in point_and_state()
136 const program_state &get_state () const { return m_state; } in get_state()
138 void set_state (const program_state &state) in set_state()
148 program_state m_state;
244 program_state *state,
249 program_state *state,
254 program_state *state,
261 program_state *next_state,
265 program_state *new_state,
286 const program_state &get_state () const { return m_ps.get_state (); } in get_state()
824 program_state next_state,
830 const program_state &state,