2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
10 #ifndef ISL_ID_PRIVATE_H
11 #define ISL_ID_PRIVATE_H
15 /* Represent a name and/or user pointer.
17 * If "free_user" is set, then it will be called on "user" when
18 * the last instance of the isl_id is freed.
28 __isl_give
void (*free_user
)(void *user
);
34 #include <isl_list_templ.h>
36 uint32_t isl_hash_id(uint32_t hash
, __isl_keep isl_id
*id
);
37 int isl_id_cmp(__isl_keep isl_id
*id1
, __isl_keep isl_id
*id2
);
39 extern isl_id isl_id_none
;