File indexing completed on 2026-05-10 08:48:12
0001 #ifndef ISL_ID_H
0002 #define ISL_ID_H
0003
0004 #include <isl/ctx.h>
0005 #include <isl/id_type.h>
0006 #include <isl/list.h>
0007 #include <isl/multi.h>
0008 #include <isl/printer_type.h>
0009 #include <isl/stdint.h>
0010
0011 #if defined(__cplusplus)
0012 extern "C" {
0013 #endif
0014
0015 ISL_DECLARE_EXPORTED_LIST_FN(id)
0016 ISL_DECLARE_EXPORTED_LIST_FN_READ(id)
0017
0018 ISL_DECLARE_MULTI(id)
0019
0020 isl_ctx *isl_id_get_ctx(__isl_keep isl_id *id);
0021 uint32_t isl_id_get_hash(__isl_keep isl_id *id);
0022
0023 __isl_give isl_id *isl_id_alloc(isl_ctx *ctx,
0024 __isl_keep const char *name, void *user);
0025 __isl_give isl_id *isl_id_copy(isl_id *id);
0026 __isl_null isl_id *isl_id_free(__isl_take isl_id *id);
0027
0028 void *isl_id_get_user(__isl_keep isl_id *id);
0029 __isl_export
0030 __isl_keep const char *isl_id_get_name(__isl_keep isl_id *id);
0031
0032 __isl_give isl_id *isl_id_set_free_user(__isl_take isl_id *id,
0033 void (*free_user)(void *user));
0034 void (*isl_id_get_free_user(__isl_keep isl_id *id))(void *user);
0035
0036 __isl_constructor
0037 __isl_give isl_id *isl_id_read_from_str(isl_ctx *ctx, const char *str);
0038 __isl_give char *isl_id_to_str(__isl_keep isl_id *id);
0039 __isl_give isl_printer *isl_printer_print_id(__isl_take isl_printer *p,
0040 __isl_keep isl_id *id);
0041 void isl_id_dump(__isl_keep isl_id *id);
0042
0043 __isl_constructor
0044 __isl_give isl_multi_id *isl_multi_id_read_from_str(isl_ctx *ctx,
0045 const char *str);
0046 __isl_give isl_printer *isl_printer_print_multi_id(__isl_take isl_printer *p,
0047 __isl_keep isl_multi_id *mi);
0048 void isl_multi_id_dump(__isl_keep isl_multi_id *mi);
0049 __isl_give char *isl_multi_id_to_str(__isl_keep isl_multi_id *mi);
0050
0051 #if defined(__cplusplus)
0052 }
0053 #endif
0054
0055 #endif
