Searched refs:getStatistics (Results 1 – 3 of 3) sorted by relevance
91 return Solver->getStatistics()->getUnsigned("rlimit count"); in finalizeVisitor()
464 virtual std::unique_ptr<SMTSolverStatistics> getStatistics() const = 0;
923 std::unique_ptr<SMTSolverStatistics> getStatistics() const override;956 std::unique_ptr<SMTSolverStatistics> Z3Solver::getStatistics() const { in getStatistics() function in __anona2cc94240111::Z3Solver