6 #include <isl/printer.h>
7 #include <isl/stdint.h>
9 #if defined(__cplusplus)
14 typedef struct isl_id isl_id
;
18 isl_ctx
*isl_id_get_ctx(__isl_keep isl_id
*id
);
19 uint32_t isl_id_get_hash(__isl_keep isl_id
*id
);
21 __isl_give isl_id
*isl_id_alloc(isl_ctx
*ctx
,
22 __isl_keep
const char *name
, void *user
);
23 __isl_give isl_id
*isl_id_copy(isl_id
*id
);
24 __isl_null isl_id
*isl_id_free(__isl_take isl_id
*id
);
26 void *isl_id_get_user(__isl_keep isl_id
*id
);
27 __isl_keep
const char *isl_id_get_name(__isl_keep isl_id
*id
);
29 __isl_give isl_id
*isl_id_set_free_user(__isl_take isl_id
*id
,
30 __isl_give
void (*free_user
)(void *user
));
32 __isl_give isl_printer
*isl_printer_print_id(__isl_take isl_printer
*p
,
33 __isl_keep isl_id
*id
);
34 void isl_id_dump(__isl_keep isl_id
*id
);
36 #if defined(__cplusplus)