Searched refs:realCol (Results 1 – 1 of 1) sorted by relevance
631 Index *realCol = new Index[length]; in deflation() local633 realCol[pos] = pos + firstCol + shift; in deflation()642 const Index J = realCol[j]; in deflation()677 realCol[realI] = J; in deflation()678 realCol[j] = I; in deflation()695 delete [] realCol; in deflation()