#define ISL_DIV_H
#include "isl_dim.h"
+#include "isl_set.h"
#if defined(__cplusplus)
extern "C" {
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);
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;