Searched refs:NullClause (Results 1 – 1 of 1) sorted by relevance
78 static constexpr ClauseID NullClause = 0; variable588 Formula.WatchedHead[FalseLit] = NullClause; in updateWatchedLiterals()589 while (FalseLitWatcher != NullClause) { in updateWatchedLiterals()624 LitWatcher != NullClause; in watchedByUnitClause()656 return Formula.WatchedHead[Lit] != NullClause; in isWatched()670 if (Formula.WatchedHead[Lit] == NullClause) in watchedLiterals()