Searched refs:str_repr_cache (Results 1 – 1 of 1) sorted by relevance
102 std::unordered_map<ExprPtr, std::string> str_repr_cache; in sort() local107 if (!str_repr_cache.count(a)) { in sort()108 str_repr_cache[a] = std::to_string(a); in sort()110 if (!str_repr_cache.count(b)) { in sort()111 str_repr_cache[b] = std::to_string(b); in sort()113 return str_repr_cache.at(a) < str_repr_cache.at(b); in sort()129 std::unordered_map<ExprPtr, std::string> str_repr_cache; in sort() local134 if (!str_repr_cache.count(a)) { in sort()135 str_repr_cache[a] = std::to_string(a); in sort()137 if (!str_repr_cache.count(b)) { in sort()[all …]