reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
834 if (!map1 || !map2) 837 if (!isl_map_has_equal_space(map1, map2)) 846 empty = isl_map_is_empty(map2); 853 rat2 = isl_map_has_rational(map2); 859 if (isl_map_plain_is_universe(map2)) 865 map2 = isl_map_compute_divs(isl_map_copy(map2)); 865 map2 = isl_map_compute_divs(isl_map_copy(map2)); 867 is_subset = map_is_singleton_subset(map1, map2); 868 isl_map_free(map2); 871 is_subset = map_diff_is_empty(map1, map2); 872 isl_map_free(map2);