Home | History | Annotate | Download | only in Utils

Lines Matching refs:NumClauses

512         unsigned NumClauses = LPI->getNumClauses();
513         L->reserveClauses(NumClauses);
514         for (unsigned i = 0; i != NumClauses; ++i)