70   friend class Z3Solver;
145   friend class Z3Solver;
202   friend class Z3Solver;
260 class Z3Solver : public SMTSolver {  class
274   Z3Solver() : Solver(Z3_mk_simple_solver(Context.Context)) {  in Z3Solver()  function in __anon13641eda0111::Z3Solver
278   Z3Solver(const Z3Solver &Other) = delete;
279   Z3Solver(Z3Solver &&Other) = delete;
280   Z3Solver &operator=(Z3Solver &Other) = delete;
281   Z3Solver &operator=(Z3Solver &&Other) = delete;
283   ~Z3Solver() {  in ~Z3Solver()
907   return std::make_unique<Z3Solver>();  in CreateZ3Solver()