Home | History | Annotate | Download | only in Utils

Lines Matching refs:getClause

166       InlinedLPad->addClause(OuterLPad->getClause(OuterIdx));
188         L->addClause(LPI->getClause(i));