Lines Matching refs:program_state

37 			     const program_state *old_state,
38 			     program_state *new_state,
44   impl_region_model_context (program_state *state,
78   const program_state *m_old_state;
79   program_state *m_new_state;
94 		   const program_state &state)  in point_and_state()
114   const program_state &get_state () const { return m_state; }  in get_state()
116   void set_state (const program_state &state)  in set_state()
126   program_state m_state;
234 			 program_state *state,
239 		program_state *next_state,
243 		   program_state *new_state,
264   const program_state &get_state () const { return m_ps.get_state (); }  in get_state()
786 				     const program_state &state,