reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
12703 if (set && isl_set_plain_is_empty(set)) 12703 if (set && isl_set_plain_is_empty(set)) 12704 return set; 12706 set = isl_set_cow(set); 12706 set = isl_set_cow(set); 12707 if (!set || !subs) 12710 for (i = set->n - 1; i >= 0; --i) { 12711 set->p[i] = isl_basic_set_substitute(set->p[i], type, pos, subs); 12711 set->p[i] = isl_basic_set_substitute(set->p[i], type, pos, subs); 12712 set = set_from_map(remove_if_empty(set_to_map(set), i)); 12712 set = set_from_map(remove_if_empty(set_to_map(set), i)); 12713 if (!set) 12717 return set; 12719 isl_set_free(set);