Searched refs:NewWatchedLit (Results 1 – 1 of 1) sorted by relevance
296 const Literal NewWatchedLit = *NewWatchedLitIter; in updateWatchedLiterals() local297 const Variable NewWatchedLitVar = var(NewWatchedLit); in updateWatchedLiterals()303 *FalseLitWatcherStart = NewWatchedLit; in updateWatchedLiterals()307 if (!isWatched(NewWatchedLit) && !isWatched(notLit(NewWatchedLit)) && in updateWatchedLiterals()311 NextWatched[FalseLitWatcher] = WatchedHead[NewWatchedLit]; in updateWatchedLiterals()312 WatchedHead[NewWatchedLit] = FalseLitWatcher; in updateWatchedLiterals()