Searched refs:buildSolution (Results 1 – 1 of 1) sorted by relevance
241 return std::make_pair(Solver::Result::Satisfiable(buildSolution()), in solve()247 llvm::DenseMap<Atom, Solver::Result::Assignment> buildSolution() { in buildSolution() function in clang::dataflow::__anon6ff0613e0111::WatchedLiteralsSolverImpl