Lines Matching defs:set_difference
983 Index set_difference ; /* set difference size of row with pivot row */
1211 set_difference = row_mark - tag_mark ;
1213 if (set_difference < 0)
1216 set_difference = Row [row].shared1.degree ;
1219 set_difference -= col_thickness ;
1220 COLAMD_ASSERT (set_difference >= 0) ;
1222 if (set_difference == 0)
1230 Row [row].shared2.mark = set_difference + tag_mark ;
