add isl_basic_set_is_rational

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/include/isl/set.h b/include/isl/set.h
index 5a14895..d3a6c36 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -47,6 +47,8 @@ const char *isl_set_get_dim_name(__isl_keep isl_set *set,
 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
        enum isl_dim_type type, unsigned pos, const char *s);
 
+int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset);
+
 struct isl_basic_set *isl_basic_set_alloc(struct isl_ctx *ctx,
                unsigned nparam, unsigned dim, unsigned extra,
                unsigned n_eq, unsigned n_ineq);

diff --git a/isl_map.c b/isl_map.c
index 750db19..ac78d8f 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -461,6 +461,11 @@ int isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap)
        return ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL);
 }
 
+int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset)
+{
+       return isl_basic_map_is_rational(bset);
+}
+
 static struct isl_basic_map *basic_map_init(struct isl_ctx *ctx,
                struct isl_basic_map *bmap, unsigned extra,
                unsigned n_eq, unsigned n_ineq)