Searched defs:addClause (Results 1 – 2 of 2) sorted by relevance
46 void addClause(ArrayRef<Literal> Literals) { in addClause() function105 void CNFFormula::addClause(ArrayRef<Literal> lits) { in addClause() function in clang::dataflow::CNFFormula
286 void LandingPadInst::addClause(Constant *Val) { in addClause() function in LandingPadInst