isl_map_coalesce: avoid ignoring constraints redundant wrt implicit equalities
[isl.git] / isl_map_to_basic_set.c
blob9e96e6074639aea1b36c3a05b6d1f05836697a73
1 #include <isl/map_to_basic_set.h>
2 #include <isl/map.h>
3 #include <isl/set.h>
5 #define ISL_KEY isl_map
6 #define ISL_VAL isl_basic_set
7 #define ISL_HMAP_SUFFIX map_to_basic_set
8 #define ISL_HMAP isl_map_to_basic_set
9 #define ISL_HMAP_IS_EQUAL isl_map_to_basic_set_plain_is_equal
10 #define ISL_KEY_IS_EQUAL isl_map_plain_is_equal
11 #define ISL_VAL_IS_EQUAL isl_basic_set_plain_is_equal
12 #define ISL_KEY_PRINT isl_printer_print_map
13 #define ISL_VAL_PRINT isl_printer_print_basic_set
14 #define ISL_HMAP_HAVE_READ_FROM_STR
15 #define ISL_KEY_READ isl_stream_read_map
16 #define ISL_VAL_READ isl_stream_read_basic_set
18 #include <isl/hmap_templ.c>