Lines Matching defs:Z3Solver

1 //== Z3Solver.cpp -----------------------------------------------*- C++ -*--==//
75   friend class Z3Solver;
150   friend class Z3Solver;
207   friend class Z3Solver;
265 class Z3Solver : public SMTSolver {
289   Z3Solver() = default;
290   Z3Solver(const Z3Solver &Other) = delete;
291   Z3Solver(Z3Solver &&Other) = delete;
292   Z3Solver &operator=(Z3Solver &Other) = delete;
293   Z3Solver &operator=(Z3Solver &&Other) = delete;
295   ~Z3Solver() override {
924 }; // end class Z3Solver
950   friend class Z3Solver;
955 std::unique_ptr<SMTSolverStatistics> Z3Solver::getStatistics() const {
983   return std::make_unique<Z3Solver>();