Lines Matching refs:program_state
223 class program_state
226 program_state (const extrinsic_state &ext_state);
227 program_state (const program_state &other);
228 program_state& operator= (const program_state &other);
231 program_state (program_state &&other);
232 program_state& operator= (program_state &&other); // doesn't seem to be used
235 ~program_state ();
238 bool operator== (const program_state &other) const;
239 bool operator!= (const program_state &other) const
258 program_state prune_for_point (exploded_graph &eg,
282 bool can_merge_with_p (const program_state &other,
284 program_state *out) const;
318 extern bool for_each_state_change (const program_state &src_state,
319 const program_state &dst_state,
353 void validate (const program_state &new_state,
378 void validate (const program_state &new_state,