diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2009-03-14 00:40:21 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-03-20 16:46:53 +0100 |
commit | eeb36e21e251ddcdf3948019878c0b670d025854 (patch) | |
tree | c07b0b04f17dbcd4ddd011d0eb2cd716ac1d2616 | |
parent | f3c1ab3859fad5a1971246c3139cb25320af6496 (diff) | |
download | isl-eeb36e21e251ddcdf3948019878c0b670d025854.tar.gz isl-eeb36e21e251ddcdf3948019878c0b670d025854.tar.bz2 isl-eeb36e21e251ddcdf3948019878c0b670d025854.zip |
privately export isl_basic_set_contains
-rw-r--r-- | isl_map.c | 5 | ||||
-rw-r--r-- | isl_map_private.h | 3 |
2 files changed, 8 insertions, 0 deletions
@@ -1614,6 +1614,11 @@ static int basic_map_contains(struct isl_basic_map *bmap, struct isl_vec *vec) return 1; } +int isl_basic_set_contains(struct isl_basic_set *bset, struct isl_vec *vec) +{ + return basic_map_contains((struct isl_basic_map *)bset, vec); +} + struct isl_basic_map *isl_basic_map_intersect( struct isl_basic_map *bmap1, struct isl_basic_map *bmap2) { diff --git a/isl_map_private.h b/isl_map_private.h index 91f966fd..8a51c11c 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -1,5 +1,6 @@ #include "isl_set.h" #include "isl_map.h" +#include "isl_vec.h" unsigned isl_basic_map_offset(struct isl_basic_map *bmap, enum isl_dim_type type); @@ -19,6 +20,8 @@ struct isl_basic_set *isl_basic_set_extend_dim(struct isl_basic_set *base, struct isl_basic_set *isl_basic_set_add_constraints(struct isl_basic_set *bset1, struct isl_basic_set *bset2, unsigned pos); +int isl_basic_set_contains(struct isl_basic_set *bset, struct isl_vec *vec); + struct isl_basic_set *isl_basic_set_alloc_dim(struct isl_dim *dim, unsigned extra, unsigned n_eq, unsigned n_ineq); struct isl_set *isl_set_alloc_dim(struct isl_dim *dim, int n, unsigned flags); |