2956 	__isl_keep isl_basic_map *bmap1, int n1,  in combined_variable_compression()  argument
2963 	ctx = isl_basic_map_get_ctx(bmap1);  in combined_variable_compression()
2964 	if (bmap1->n_eq == n1) {  in combined_variable_compression()
2970 		E1 = isl_mat_sub_alloc6(ctx, bmap1->eq,  in combined_variable_compression()
2971 					n1, bmap1->n_eq - n1, 0, 1 + total);  in combined_variable_compression()
2974 	E1 = isl_mat_sub_alloc6(ctx, bmap1->eq,  in combined_variable_compression()
2975 				n1, bmap1->n_eq - n1, 0, 1 + total);  in combined_variable_compression()
2979 	bmap = basic_map_from_equalities(isl_basic_map_get_space(bmap1), E1);  in combined_variable_compression()
3810 isl_bool isl_basic_map_plain_is_disjoint(__isl_keep isl_basic_map *bmap1,  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()
3825 	total = isl_space_dim(bmap1->dim, isl_dim_all);  in isl_basic_map_plain_is_disjoint()
3830 	v = isl_vec_alloc(bmap1->ctx, 1 + total);  in isl_basic_map_plain_is_disjoint()
3833 	elim = isl_alloc_array(bmap1->ctx, int, total);  in isl_basic_map_plain_is_disjoint()
3836 	compute_elimination_index(bmap1, elim, total);  in isl_basic_map_plain_is_disjoint()
3840 							bmap1, elim, total);  in isl_basic_map_plain_is_disjoint()
3848 					bmap2->ineq[i], bmap1, elim, total);  in isl_basic_map_plain_is_disjoint()
3854 	for (i = 0; i < bmap1->n_ineq; ++i) {  in isl_basic_map_plain_is_disjoint()
3857 					bmap1->ineq[i], bmap2, elim, total);  in isl_basic_map_plain_is_disjoint()
3885 	isl_bool (*test)(__isl_keep isl_basic_map *bmap1,  in all_pairs()  argument
4034 isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1,  in isl_basic_map_is_disjoint()  argument
4041 	disjoint = isl_basic_map_plain_is_disjoint(bmap1, bmap2);  in isl_basic_map_is_disjoint()
4045 	disjoint = isl_basic_map_is_empty(bmap1);  in isl_basic_map_is_disjoint()
4053 	intersect = isl_basic_map_plain_is_universe(bmap1);  in isl_basic_map_is_disjoint()
4061 	test = isl_basic_map_intersect(isl_basic_map_copy(bmap1),  in isl_basic_map_is_disjoint()