303 	unsigned pos, isl_int *eq, int keep_divs, int *progress)  in eliminate_var_using_equality()
416 	__isl_take isl_basic_map *bmap, int *progress)  in eliminate_divs_eq()
458 	__isl_take isl_basic_map *bmap, int *progress)  in eliminate_divs_ineq()
546 	int div, int eq, int *progress)  in set_div_from_eq()
597 	int *progress,  in isl_basic_map_gauss5()
662 	int *progress)  in isl_basic_map_gauss()
668 	__isl_take isl_basic_set *bset, int *progress)  in isl_basic_set_gauss()
817 	__isl_take isl_basic_map *bmap, int *progress)  in remove_duplicate_divs()
965 	int *progress)  in normalize_divs()
1209 	int *progress)  in check_for_div_constraints()
1240 	__isl_take isl_basic_map *bmap, int *progress, int detect_divs)  in isl_basic_map_remove_duplicate_constraints()
1310 	__isl_take isl_basic_map *bmap, int *progress)  in isl_basic_map_detect_inequality_pairs()
1361 	__isl_take isl_basic_map *bmap, int div, int *progress)  in eliminate_unit_div()
1425 	int *progress)  in eliminate_selected_unit_divs()
1466 	__isl_take isl_basic_map *bmap, int *progress)  in eliminate_unit_divs()
1518 	int progress = 1;  in isl_basic_map_simplify()  local
5475 		int progress = 0;  in isl_basic_map_reduce_coefficients()  local