Searched refs:FalseLitWatcher (Results 1 – 1 of 1) sorted by relevance
664 ClauseID FalseLitWatcher = CNF.WatchedHead[FalseLit]; in updateWatchedLiterals() local666 while (FalseLitWatcher != NullClause) { in updateWatchedLiterals()667 const ClauseID NextFalseLitWatcher = CNF.NextWatched[FalseLitWatcher]; in updateWatchedLiterals()670 const size_t FalseLitWatcherStart = CNF.ClauseStarts[FalseLitWatcher]; in updateWatchedLiterals()689 CNF.NextWatched[FalseLitWatcher] = CNF.WatchedHead[NewWatchedLit]; in updateWatchedLiterals()690 CNF.WatchedHead[NewWatchedLit] = FalseLitWatcher; in updateWatchedLiterals()693 FalseLitWatcher = NextFalseLitWatcher; in updateWatchedLiterals()