Home | History | Annotate | Download | only in Utils

Lines Matching defs:NumClauses

185       unsigned NumClauses = LPI->getNumClauses();
186 L->reserveClauses(NumClauses);
187 for (unsigned i = 0; i != NumClauses; ++i)