Searched refs:NewWatchedLitIter (Results 1 – 1 of 1) sorted by relevance
293 CNFFormula::Iterator NewWatchedLitIter = FalseLitWatcherStart.next(); in updateWatchedLiterals() local294 while (isCurrentlyFalse(*NewWatchedLitIter)) in updateWatchedLiterals()295 ++NewWatchedLitIter; in updateWatchedLiterals()296 const Literal NewWatchedLit = *NewWatchedLitIter; in updateWatchedLiterals()302 *NewWatchedLitIter = FalseLit; in updateWatchedLiterals()