Home | History | Annotate | Download | only in Utils

Lines Matching defs:NumClauses

172       unsigned NumClauses = LPI->getNumClauses();
173 L->reserveClauses(NumClauses);
174 for (unsigned i = 0; i != NumClauses; ++i)