Lines Matching refs:program_state
37 const program_state *old_state,
38 program_state *new_state,
44 impl_region_model_context (program_state *state,
86 const program_state *m_old_state;
87 program_state *m_new_state;
102 const program_state &state) in point_and_state()
122 const program_state &get_state () const { return m_state; } in get_state()
124 void set_state (const program_state &state) in set_state()
134 program_state m_state;
227 program_state *state,
232 program_state *next_state,
236 program_state *new_state,
256 const program_state &get_state () const { return m_ps.get_state (); } in get_state()
748 const program_state &state,