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