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