68   friend class Z3Solver;
143   friend class Z3Solver;
200   friend class Z3Solver;
258 class Z3Solver : public SMTSolver {  class
272   Z3Solver() : Solver(Z3_mk_simple_solver(Context.Context)) {  in Z3Solver()  function in __anonca7d1dd80111::Z3Solver
276   Z3Solver(const Z3Solver &Other) = delete;
277   Z3Solver(Z3Solver &&Other) = delete;
278   Z3Solver &operator=(Z3Solver &Other) = delete;
279   Z3Solver &operator=(Z3Solver &&Other) = delete;
281   ~Z3Solver() {  in ~Z3Solver()
905   return std::make_unique<Z3Solver>();  in CreateZ3Solver()