39   void row_partition(const std::set<int> & rowsIn, std::set<int> & rows, std::set<int> & colsC,
846 std::set<int> & rows, std::set<int> & colsC,  in row_partition()  argument
857     if (rows.find(i) == rows.end() ) colsC.insert(i);  in row_partition()
872   int ncolsC = colsC.size();  in row_partition()
884     for (itrJ = colsC.begin(); itrJ != colsC.end(); itrJ++) {  in row_partition()
897   std::set<int> colsC;  in row_partition()  local
899     if (rows.find(i) == rows.end() ) colsC.insert(i);  in row_partition()
905     return colsC;  in row_partition()
910     return colsC;  in row_partition()
914   int ncolsC = colsC.size();  in row_partition()
926     for (itrJ = colsC.begin(); itrJ != colsC.end(); itrJ++) {  in row_partition()
932   return colsC;  in row_partition()