Searched refs:FalseLitWatcherStart (Results 1 – 1 of 1) sorted by relevance
670 const size_t FalseLitWatcherStart = CNF.ClauseStarts[FalseLitWatcher]; in updateWatchedLiterals() local671 size_t NewWatchedLitIdx = FalseLitWatcherStart + 1; in updateWatchedLiterals()681 CNF.Clauses[FalseLitWatcherStart] = NewWatchedLit; in updateWatchedLiterals()