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;
94 /* A <program_point, program_state> pair, used internally by
102 const program_state &state)
122 const program_state &get_state () const { return m_state; }
124 void set_state (const program_state &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 (); }
273 /* The <program_point, program_state> pair. This is const, as it
748 const program_state &state,