Searched refs:NullClause (Results 1 – 1 of 1) sorted by relevance
85 static constexpr ClauseID NullClause = 0; variable665 CNF.WatchedHead[FalseLit] = NullClause; in updateWatchedLiterals()666 while (FalseLitWatcher != NullClause) { in updateWatchedLiterals()700 for (ClauseID LitWatcher = CNF.WatchedHead[Lit]; LitWatcher != NullClause; in watchedByUnitClause()732 return CNF.WatchedHead[Lit] != NullClause; in isWatched()746 if (CNF.WatchedHead[Lit] == NullClause) in watchedLiterals()