From c3da5eba570b2c12a4cddc03f4f2c848b2cf2c93 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 22 Mar 2009 18:20:26 +0100 Subject: [PATCH] add isl_basic_set_div --- include/isl_div.h | 2 ++ isl_div.c | 5 +++++ 2 files changed, 7 insertions(+) diff --git a/include/isl_div.h b/include/isl_div.h index c7a6d51..4814700 100644 --- a/include/isl_div.h +++ b/include/isl_div.h @@ -2,6 +2,7 @@ #define ISL_DIV_H #include "isl_dim.h" +#include "isl_set.h" #if defined(__cplusplus) extern "C" { @@ -17,6 +18,7 @@ struct isl_div { struct isl_div *isl_div_alloc(struct isl_dim *dim); struct isl_div *isl_basic_map_div(struct isl_basic_map *bmap, int pos); +struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos); struct isl_div *isl_div_free(struct isl_div *c); void isl_div_get_constant(struct isl_div *div, isl_int *v); diff --git a/isl_div.c b/isl_div.c index f9ee633..b8f6537 100644 --- a/isl_div.c +++ b/isl_div.c @@ -49,6 +49,11 @@ error: return NULL; } +struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos) +{ + return isl_basic_map_div((struct isl_basic_map *)bset, pos); +} + struct isl_div *isl_div_alloc(struct isl_dim *dim) { struct isl_basic_map *bmap; -- 2.7.4