diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2009-03-24 20:34:46 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-05-06 11:23:44 +0200 |
commit | 65466692c48e3fe958811b66b504ed8fec6e3487 (patch) | |
tree | dd420cecf0083e6cd335d817db196ee81dc5c5cf | |
parent | f8addcc9c1a791985f46807f9e5c5902877f95c0 (diff) | |
download | isl-65466692c48e3fe958811b66b504ed8fec6e3487.tar.gz isl-65466692c48e3fe958811b66b504ed8fec6e3487.tar.bz2 isl-65466692c48e3fe958811b66b504ed8fec6e3487.zip |
add isl_basic_set_is_universe
-rw-r--r-- | include/isl_set.h | 1 | ||||
-rw-r--r-- | isl_map.c | 7 |
2 files changed, 8 insertions, 0 deletions
diff --git a/include/isl_set.h b/include/isl_set.h index 80660e3b..e8365341 100644 --- a/include/isl_set.h +++ b/include/isl_set.h @@ -143,6 +143,7 @@ struct isl_set *isl_basic_set_union( int isl_basic_set_compare_at(struct isl_basic_set *bset1, struct isl_basic_set *bset2, int pos); +int isl_basic_set_is_universe(struct isl_basic_set *bset); int isl_basic_set_fast_is_empty(struct isl_basic_set *bset); int isl_basic_set_is_empty(struct isl_basic_set *bset); @@ -3471,6 +3471,13 @@ int isl_basic_map_is_universe(struct isl_basic_map *bmap) return bmap->n_eq == 0 && bmap->n_ineq == 0; } +int isl_basic_set_is_universe(struct isl_basic_set *bset) +{ + if (!bset) + return -1; + return bset->n_eq == 0 && bset->n_ineq == 0; +} + int isl_basic_map_is_empty(struct isl_basic_map *bmap) { struct isl_basic_set *bset = NULL; |