707 	int sgn, int *row, int *col)  in find_pivot()
1044 static void update_row_sign(struct isl_tab *tab, int row, int col, int row_sgn)  in update_row_sign()
1125 int isl_tab_pivot(struct isl_tab *tab, int row, int col)  in isl_tab_pivot()
1266 	int row, col;  in sign_of_max()  local
1326 	int row, col;  in restore_row()  local
1347 	int row, col;  in at_least_zero()  local
1380 	int row, col;  in sign_of_min()  local
1456 	int row, col;  in isl_tab_min_at_most_neg_one()  local
1515 	int row, col;  in at_least_one()  local
1559 int isl_tab_kill_col(struct isl_tab *tab, int col)  in isl_tab_kill_col()
1877 static isl_stat drop_col(struct isl_tab *tab, int col)  in drop_col()
1957 	int row, col;  in to_col()  local
3369 		int row, col;  in isl_tab_min()  local
3508 	int row, col;  in var_reaches()  local