Searched refs:notLit (Results 1 – 2 of 2) sorted by relevance
61 inline constexpr Literal notLit(Literal L) { return L ^ 1; } in notLit() function
307 if (!isWatched(NewWatchedLit) && !isWatched(notLit(NewWatchedLit)) && in updateWatchedLiterals()