Searched refs:NullLit (Results 1 – 2 of 2) sorted by relevance
52 assert(L != NullLit && !llvm::is_contained(Simplified, L)); in addClause()105 assert(!llvm::is_contained(lits, NullLit)); in addClause()
39 constexpr Literal NullLit = 0; variable