Searched refs:isCurrentlyFalse (Results 1 – 1 of 1) sorted by relevance
672 while (isCurrentlyFalse(CNF.Clauses[NewWatchedLitIdx])) in updateWatchedLiterals()720 [this](Literal L) { return isCurrentlyFalse(L); }); in isUnit()725 bool isCurrentlyFalse(Literal Lit) const { in isCurrentlyFalse() function in clang::dataflow::WatchedLiteralsSolverImpl