Searched refs:getStatistics (Results 1 – 3 of 3) sorted by relevance
88 RefutationSolver->getStatistics()->getUnsigned("rlimit count"), in finalizeVisitor()
455 virtual std::unique_ptr<SMTSolverStatistics> getStatistics() const = 0;
923 std::unique_ptr<SMTSolverStatistics> getStatistics() const override;955 std::unique_ptr<SMTSolverStatistics> Z3Solver::getStatistics() const { in getStatistics() function in __anona2cc94240111::Z3Solver