2957 	__isl_keep isl_basic_map *bmap2, int n2, int total)  in combined_variable_compression()  argument
2965 		E2 = isl_mat_sub_alloc6(ctx, bmap2->eq,  in combined_variable_compression()
2966 					n2, bmap2->n_eq - n2, 0, 1 + total);  in combined_variable_compression()
2969 	if (bmap2->n_eq == n2) {  in combined_variable_compression()
2976 	E2 = isl_mat_sub_alloc6(ctx, bmap2->eq,  in combined_variable_compression()
2977 				n2, bmap2->n_eq - n2, 0, 1 + total);  in combined_variable_compression()
3811 	__isl_keep isl_basic_map *bmap2)  in isl_basic_map_plain_is_disjoint()  argument
3818 	if (isl_basic_map_check_equal_space(bmap1, bmap2) < 0)  in isl_basic_map_plain_is_disjoint()
3820 	if (bmap1->n_div || bmap2->n_div)  in isl_basic_map_plain_is_disjoint()
3822 	if (!bmap1->n_eq && !bmap2->n_eq)  in isl_basic_map_plain_is_disjoint()
3837 	for (i = 0; i < bmap2->n_eq; ++i) {  in isl_basic_map_plain_is_disjoint()
3839 		reduced = reduced_using_equalities(v->block.data, bmap2->eq[i],  in isl_basic_map_plain_is_disjoint()
3845 	for (i = 0; i < bmap2->n_ineq; ++i) {  in isl_basic_map_plain_is_disjoint()
3848 					bmap2->ineq[i], bmap1, elim, total);  in isl_basic_map_plain_is_disjoint()
3853 	compute_elimination_index(bmap2, elim, total);  in isl_basic_map_plain_is_disjoint()
3857 					bmap1->ineq[i], bmap2, elim, total);  in isl_basic_map_plain_is_disjoint()
3886 		__isl_keep isl_basic_map *bmap2))  in all_pairs()  argument
4035 	__isl_keep isl_basic_map *bmap2)  in isl_basic_map_is_disjoint()  argument
4041 	disjoint = isl_basic_map_plain_is_disjoint(bmap1, bmap2);  in isl_basic_map_is_disjoint()
4049 	disjoint = isl_basic_map_is_empty(bmap2);  in isl_basic_map_is_disjoint()
4057 	intersect = isl_basic_map_plain_is_universe(bmap2);  in isl_basic_map_is_disjoint()
4062 		isl_basic_map_copy(bmap2));  in isl_basic_map_is_disjoint()