Searched refs:lits (Results 1 – 2 of 2) sorted by relevance
105 void CNFFormula::addClause(ArrayRef<Literal> lits) { in addClause() argument106 assert(llvm::all_of(lits, [](Literal L) { return L != NullLit; })); in addClause()108 if (lits.empty()) in addClause()113 Clauses.insert(Clauses.end(), lits.begin(), lits.end()); in addClause()
108 void addClause(ArrayRef<Literal> lits);