Searched refs:NextWatched (Results 1 – 1 of 1) sorted by relevance
128 std::vector<ClauseID> NextWatched; member144 NextWatched.push_back(0); in CNFFormula()165 NextWatched.push_back(WatchedHead[lits.front()]); in addClause()667 const ClauseID NextFalseLitWatcher = CNF.NextWatched[FalseLitWatcher]; in updateWatchedLiterals()689 CNF.NextWatched[FalseLitWatcher] = CNF.WatchedHead[NewWatchedLit]; in updateWatchedLiterals()701 LitWatcher = CNF.NextWatched[LitWatcher]) { in watchedByUnitClause()