Searched refs:NextWatched (Results 1 – 1 of 1) sorted by relevance
54 std::vector<ClauseID> NextWatched; member in clang::dataflow::__anon6ff0613e0111::WatchedLiteralsSolverImpl119 NextWatched.push_back(0); in WatchedLiteralsSolverImpl()125 NextWatched.push_back(WatchedHead[FirstLit]); in WatchedLiteralsSolverImpl()288 const ClauseID NextFalseLitWatcher = NextWatched[FalseLitWatcher]; in updateWatchedLiterals()311 NextWatched[FalseLitWatcher] = WatchedHead[NewWatchedLit]; in updateWatchedLiterals()323 LitWatcher = NextWatched[LitWatcher]) { in watchedByUnitClause()