Lines Matching defs:var_diff_sptr
107 typedef shared_ptr<var_diff> var_diff_sptr;
109 /// Convenience typedef for a vector of @ref var_diff_sptr.
110 typedef vector<var_diff_sptr> var_diff_sptrs_type;
183 /// value is a changed variable of type @ref var_diff_sptr.
185 var_diff_sptr> string_var_diff_sptr_map;
189 /// whose value is a changed variable of type @ref var_diff_sptr.
190 typedef unordered_map<unsigned, var_diff_sptr> unsigned_var_diff_sptr_map;
261 /// value is a @ref var_diff_sptr.
262 typedef unordered_map<string, var_diff_sptr> string_var_diff_ptr_map;
1244 friend var_diff_sptr
1250 var_diff_sptr