35     : usingBigM(mustUseBigM), nRedundant(0), nSymbol(0),  in SimplexBase()
54     swapColumns(var[symbolIdx].pos, getNumFixedCols() + nSymbol);  in SimplexBase()
55     ++nSymbol;  in SimplexBase()
268   for (unsigned col = 3 + nSymbol, e = getNumColumns(); col < e; ++col)  in addCut()
331   sample.reserve(nSymbol + 1);  in getSymbolicSampleNumerator()
332   for (unsigned col = 3; col < 3 + nSymbol; ++col)  in getSymbolicSampleNumerator()
348   swapColumns(3 + nSymbol, getNumColumns() - 1);  in appendSymbol()
350   nSymbol++;  in appendSymbol()
361          isRangeDivisibleBy(tableau.getRow(row).slice(3, nSymbol), denom);  in isSymbolicSampleIntegral()
399   if (isRangeDivisibleBy(tableau.getRow(row).slice(3, nSymbol), d)) {  in addSymbolicCut()
408   divCoeffs.reserve(nSymbol + 1);  in addSymbolicCut()
410   for (unsigned col = 3; col < 3 + nSymbol; ++col)  in addSymbolicCut()
427   for (unsigned col = 3; col < 3 + nSymbol - 1; ++col)  in addSymbolicCut()
429   tableau(cutRow, 3 + nSymbol - 1) = d;                 // q*d.  in addSymbolicCut()
431   for (unsigned col = 3 + nSymbol, e = getNumColumns(); col < e; ++col)  in addSymbolicCut()
510   SymbolicLexMin result(domainPoly.getSpace(), var.size() - nSymbol);  in computeSymbolicIntegerLexMin()
748   for (unsigned col = 3 + nSymbol, e = getNumColumns(); col < e; ++col) {  in moveRowUnknownToColumn()
1214       nSymbol--;  in undo()