Searched refs:CachedSorts (Results 1 – 1 of 1) sorted by relevance
283 std::set<Z3Sort> CachedSorts; member in __anona2cc94240111::Z3Solver307 auto It = CachedSorts.insert(toZ3Sort(Sort)); in newSortRef()