65   assert(col < getNumColumns() && "Invalid column");  in unknownFromColumn()
80   assert(col < getNumColumns() && "Invalid column");  in unknownFromColumn()
106   assert(var.size() + getNumFixedCols() == getNumColumns() &&  in addRow()
156     for (unsigned col = 1, e = getNumColumns(); col < e; ++col)  in addRow()
268   for (unsigned col = 3 + nSymbol, e = getNumColumns(); col < e; ++col)  in addCut()
348   swapColumns(3 + nSymbol, getNumColumns() - 1);  in appendSymbol()
431   for (unsigned col = 3 + nSymbol, e = getNumColumns(); col < e; ++col)  in addSymbolicCut()
748   for (unsigned col = 3 + nSymbol, e = getNumColumns(); col < e; ++col) {  in moveRowUnknownToColumn()
858   for (unsigned j = 2, e = getNumColumns(); j < e; ++j) {  in findPivot()
933     for (unsigned col = 1, e = getNumColumns(); col < e; ++col) {  in pivot()
947     for (unsigned col = 1, numCols = getNumColumns(); col < numCols; ++col) {  in pivot()
1051   assert(i < getNumColumns() && j < getNumColumns() &&  in swapColumns()
1218     swapColumns(var.back().pos, getNumColumns() - 1);  in undo()
1219     tableau.resizeHorizontally(getNumColumns() - 1);  in undo()
1236       for (unsigned col = getNumFixedCols(), e = getNumColumns(); col < e;  in undo()
1294                      /*pos=*/getNumColumns() + i);  in appendVariable()
1297   tableau.resizeHorizontally(getNumColumns() + count);  in appendVariable()
1488   for (unsigned i = 2, e = a.getNumColumns(); i < e; ++i) {  in makeProduct()
1493   for (unsigned i = 2, e = b.getNumColumns(); i < e; ++i) {  in makeProduct()
1501     for (unsigned col = 0, e = a.getNumColumns(); col < e; ++col)  in makeProduct()
1515     unsigned offset = a.getNumColumns() - 2;  in makeProduct()
1516     for (unsigned col = 2, e = b.getNumColumns(); col < e; ++col)  in makeProduct()
2079   os << "rows = " << getNumRows() << ", columns = " << getNumColumns() << "\n";  in print()
2102   for (unsigned col = 2, e = getNumColumns(); col < e; ++col)  in print()
2106     for (unsigned col = 0, numCols = getNumColumns(); col < numCols; ++col)  in print()