Searched refs:NullClause (Results 1 – 2 of 2) sorted by relevance
286 WatchedHead[FalseLit] = NullClause; in updateWatchedLiterals()287 while (FalseLitWatcher != NullClause) { in updateWatchedLiterals()322 for (ClauseID LitWatcher = WatchedHead[Lit]; LitWatcher != NullClause; in watchedByUnitClause()353 bool isWatched(Literal Lit) const { return WatchedHead[Lit] != NullClause; } in isWatched()366 if (WatchedHead[Lit] == NullClause) in watchedLiterals()
46 constexpr ClauseID NullClause = 0; variable