Searched refs:pivot_col_score (Results 1 – 1 of 1) sorted by relevance
970 Index pivot_col_score ; /* score of pivot column */ in find_ordering() local1031 pivot_col_score = Col [pivot_col].shared2.score ; in find_ordering()1043 needed_memory = COLAMD_MIN (pivot_col_score, n_col - k) ; in find_ordering()