Searched refs:lits (Results 1 – 2 of 2) sorted by relevance
104 void CNFFormula::addClause(ArrayRef<Literal> lits) { in addClause() argument105 assert(!llvm::is_contained(lits, NullLit)); in addClause()107 if (lits.empty()) in addClause()112 llvm::append_range(Clauses, lits); in addClause()
108 void addClause(ArrayRef<Literal> lits);