Searched refs:WatchedHead (Results 1 – 1 of 1) sorted by relevance
46 std::vector<ClauseID> WatchedHead; member in clang::dataflow::__anondce44e890111::WatchedLiteralsSolverImpl121 WatchedHead.resize(NumLiterals + 1, 0); in WatchedLiteralsSolverImpl()125 NextWatched.push_back(WatchedHead[FirstLit]); in WatchedLiteralsSolverImpl()126 WatchedHead[FirstLit] = C; in WatchedLiteralsSolverImpl()285 ClauseID FalseLitWatcher = WatchedHead[FalseLit]; in updateWatchedLiterals()286 WatchedHead[FalseLit] = NullClause; in updateWatchedLiterals()311 NextWatched[FalseLitWatcher] = WatchedHead[NewWatchedLit]; in updateWatchedLiterals()312 WatchedHead[NewWatchedLit] = FalseLitWatcher; in updateWatchedLiterals()322 for (ClauseID LitWatcher = WatchedHead[Lit]; LitWatcher != NullClause; in watchedByUnitClause()353 bool isWatched(Literal Lit) const { return WatchedHead[Lit] != NullClause; } in isWatched()[all …]