Searched defs:addClause (Results 1 – 2 of 2) sorted by relevance
145 void addClause(Literal L1, Literal L2 = NullLit, Literal L3 = NullLit) { in addClause() function
254 void LandingPadInst::addClause(Constant *Val) { in addClause() function in LandingPadInst