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