reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3451 is_universe = isl_map_plain_is_universe(context); 3455 isl_map_free(context); 3459 equal = isl_map_plain_is_equal(map, context); 3463 return replace_by_universe(map, context); 3466 single_disjunct_context = isl_map_n_basic_map(context) == 1; 3468 subset = isl_map_is_subset(context, map); 3472 return replace_by_universe(map, context); 3475 context = isl_map_compute_divs(context); 3475 context = isl_map_compute_divs(context); 3476 if (!context) 3479 hull = isl_map_simple_hull(context); 3486 list = isl_map_list_add(list, isl_map_copy(context)); 3488 hull = isl_map_unshifted_simple_hull_from_map_list(context, 3494 isl_map_free(context);