Searched refs:FalseLitWatcher (Results 1 – 1 of 1) sorted by relevance
587 ClauseID FalseLitWatcher = Formula.WatchedHead[FalseLit]; in updateWatchedLiterals() local589 while (FalseLitWatcher != NullClause) { in updateWatchedLiterals()590 const ClauseID NextFalseLitWatcher = Formula.NextWatched[FalseLitWatcher]; in updateWatchedLiterals()593 const size_t FalseLitWatcherStart = Formula.ClauseStarts[FalseLitWatcher]; in updateWatchedLiterals()612 Formula.NextWatched[FalseLitWatcher] = Formula.WatchedHead[NewWatchedLit]; in updateWatchedLiterals()613 Formula.WatchedHead[NewWatchedLit] = FalseLitWatcher; in updateWatchedLiterals()616 FalseLitWatcher = NextFalseLitWatcher; in updateWatchedLiterals()