Searched refs:notLit (Results 1 – 1 of 1) sorted by relevance
75 static constexpr Literal notLit(Literal L) { return L ^ 1; } in notLit() function685 if (!isWatched(NewWatchedLit) && !isWatched(notLit(NewWatchedLit)) && in updateWatchedLiterals()