Lines Matching refs:getClause
166 InlinedLPad->addClause(OuterLPad->getClause(OuterIdx));188 L->addClause(LPI->getClause(i));