isl_map_coalesce: avoid ignoring constraints redundant wrt implicit equalities
[isl.git] / isl_id_to_ast_expr.c
blob5a41ab67e8d82d672ea9a813b02f598637478377
1 #include <isl/id_to_ast_expr.h>
2 #include <isl/id.h>
4 #include "isl_ast_private.h"
6 #define isl_id_is_equal(id1,id2) isl_bool_ok(id1 == id2)
8 #define ISL_KEY isl_id
9 #define ISL_VAL isl_ast_expr
10 #define ISL_HMAP_SUFFIX id_to_ast_expr
11 #define ISL_HMAP isl_id_to_ast_expr
12 #define ISL_HMAP_IS_EQUAL isl_id_to_ast_expr_is_equal
13 #define ISL_KEY_IS_EQUAL isl_id_is_equal
14 #define ISL_VAL_IS_EQUAL isl_ast_expr_is_equal
15 #define ISL_KEY_PRINT isl_printer_print_id
16 #define ISL_VAL_PRINT isl_printer_print_ast_expr
17 #define ISL_HMAP_HAVE_READ_FROM_STR
18 #define ISL_KEY_READ isl_stream_read_id
19 #define ISL_VAL_READ isl_stream_read_ast_expr
21 #include <isl/hmap_templ.c>