Searched refs:isWatched (Results 1 – 1 of 1) sorted by relevance
139 if (isWatched(posLit(Var)) || isWatched(negLit(Var))) in WatchedLiteralsSolverImpl()271 if (isWatched(posLit(Var)) || isWatched(negLit(Var))) in reverseForcedMoves()307 if (!isWatched(NewWatchedLit) && !isWatched(notLit(NewWatchedLit)) && in updateWatchedLiterals()353 bool isWatched(Literal Lit) const { return WatchedHead[Lit] != NullClause; } in isWatched() function in clang::dataflow::__anondce44e890111::WatchedLiteralsSolverImpl357 return !isWatched(posLit(Var)) || isWatched(negLit(Var)) in decideAssignment()