Searched refs:isUnit (Results 1 – 1 of 1) sorted by relevance
635 if (isUnit(Clause)) in watchedByUnitClause()642 bool isUnit(llvm::ArrayRef<Literal> Clause) const { in isUnit() function in clang::dataflow::WatchedLiteralsSolverImpl