Searched refs:NullLit (Results 1 – 1 of 1) sorted by relevance
62 [[maybe_unused]] static constexpr Literal NullLit = 0; variable157 assert(llvm::all_of(lits, [](Literal L) { return L != NullLit; })); in addClause()211 assert(L != NullLit && in addClause()