reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
8386 if (!set) 8388 if (isl_set_plain_is_empty(set)) { 8389 isl_set_free(set); 8393 return fn(set, signs, user); 8396 half = isl_set_from_basic_set(nonneg_halfspace(isl_set_get_space(set), 8398 half = isl_set_intersect(half, isl_set_copy(set)); 8403 half = isl_set_from_basic_set(neg_halfspace(isl_set_get_space(set), 8405 half = isl_set_intersect(half, set); 8408 isl_set_free(set);