reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2777 obj = obj_read(s); 2778 if (obj.type == isl_obj_map) { 2779 obj.type = isl_obj_union_map; 2780 obj.v = isl_union_map_from_map(obj.v); 2780 obj.v = isl_union_map_from_map(obj.v); 2782 if (obj.type == isl_obj_set) { 2783 obj.type = isl_obj_union_set; 2784 obj.v = isl_union_set_from_set(obj.v); 2784 obj.v = isl_union_set_from_set(obj.v); 2786 if (obj.v && obj.type == isl_obj_union_set && 2786 if (obj.v && obj.type == isl_obj_union_set && 2787 isl_union_set_is_empty(obj.v)) 2788 obj.type = isl_obj_union_map; 2789 if (obj.v && obj.type != isl_obj_union_map) 2789 if (obj.v && obj.type != isl_obj_union_map) 2792 return obj.v; 2794 obj.type->free(obj.v); 2794 obj.type->free(obj.v);