Searched refs:FalseLitWatcherStart (Results 1 – 1 of 1) sorted by relevance
291 const CNFFormula::Iterator FalseLitWatcherStart = in updateWatchedLiterals() local293 CNFFormula::Iterator NewWatchedLitIter = FalseLitWatcherStart.next(); in updateWatchedLiterals()303 *FalseLitWatcherStart = NewWatchedLit; in updateWatchedLiterals()