Searched refs:NextWatched (Results 1 – 1 of 1) sorted by relevance
121 std::vector<ClauseID> NextWatched; member132 NextWatched.push_back(0); in BooleanFormula()162 NextWatched.push_back(WatchedHead[L1]); in addClause()590 const ClauseID NextFalseLitWatcher = Formula.NextWatched[FalseLitWatcher]; in updateWatchedLiterals()612 Formula.NextWatched[FalseLitWatcher] = Formula.WatchedHead[NewWatchedLit]; in updateWatchedLiterals()625 LitWatcher = Formula.NextWatched[LitWatcher]) { in watchedByUnitClause()