Lines Matching defs:numCols

595     unsigned numCols = getNumCols();
599       for (j = 0; j < numCols - 1; ++j) {
605       if (j < numCols - 1) {
608       // Check validity of constant term at 'numCols - 1' w.r.t 'isEq'.
610       DynamicAPInt v = isEq ? atEq(i, numCols - 1) : atIneq(i, numCols - 1);
645   unsigned numCols = constraints->getNumCols();
646   for (unsigned j = 0; j < numCols; ++j) {
761   unsigned numCols = getNumCols();
764     for (unsigned j = 1; j < numCols - 1; ++j) {
767     DynamicAPInt v = abs(atEq(i, numCols - 1));
1066   unsigned numCols = getNumCols();
1071       atIneq(i, numCols - 1) = floorDiv(atIneq(i, numCols - 1), gcd);