int isl_basic_set_is_universe(__isl_keep isl_basic_set *bset);
int isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap);
+ int isl_set_fast_is_universe(__isl_keep isl_set *set);
=back
void isl_set_dump(__isl_keep isl_set *set, FILE *out, int indent);
struct isl_set *isl_set_swap_vars(struct isl_set *set, unsigned n);
int isl_set_fast_is_empty(__isl_keep isl_set *set);
+int isl_set_fast_is_universe(__isl_keep isl_set *set);
int isl_set_is_empty(__isl_keep isl_set *set);
int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
return map->n == 1 && isl_basic_map_is_universe(map->p[0]);
}
+int isl_set_fast_is_universe(__isl_keep isl_set *set)
+{
+ return isl_map_fast_is_universe((isl_map *) set);
+}
+
int isl_basic_map_is_empty(struct isl_basic_map *bmap)
{
struct isl_basic_set *bset = NULL;