Searched refs:querySolver (Results 1 – 2 of 2) sorted by relevance
186 Solver::Result querySolver(llvm::SetVector<const Formula *> Constraints);243 return querySolver(std::move(Constraints)).getStatus() == in isSatisfiable()250 return querySolver(std::move(Constraints)).getStatus() == in isUnsatisfiable()
171 Solver::Result DataflowAnalysisContext::querySolver( in querySolver() function in clang::dataflow::DataflowAnalysisContext