Searched refs:WatchedLiteralsSolverImpl (Results 1 – 1 of 1) sorted by relevance
381 class WatchedLiteralsSolverImpl { class436 explicit WatchedLiteralsSolverImpl(const llvm::DenseSet<BoolValue *> &Vals) in WatchedLiteralsSolverImpl() function in clang::dataflow::WatchedLiteralsSolverImpl712 : WatchedLiteralsSolverImpl(Vals).solve(); in solve()