diff options
Diffstat (limited to 'isl_map_to_basic_set.c')
-rw-r--r-- | isl_map_to_basic_set.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/isl_map_to_basic_set.c b/isl_map_to_basic_set.c new file mode 100644 index 00000000..6755d52b --- /dev/null +++ b/isl_map_to_basic_set.c @@ -0,0 +1,10 @@ +#include <isl/map_to_basic_set.h> +#include <isl/map.h> +#include <isl/set.h> + +#define KEY_BASE map +#define KEY_EQUAL isl_map_plain_is_equal +#define VAL_BASE basic_set +#define VAL_EQUAL isl_basic_set_plain_is_equal + +#include <isl_hmap_templ.c> |