add isl_basic_set_dim_max_val
[isl.git] / isl_id_private.h
blob1d903c8e59e855cce9f8c68dbb44e148169ad53b
1 /*
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
8 */
10 #ifndef ISL_ID_PRIVATE_H
11 #define ISL_ID_PRIVATE_H
13 #include <isl/id.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.
20 struct isl_id {
21 int ref;
22 isl_ctx *ctx;
24 const char *name;
25 void *user;
26 uint32_t hash;
28 __isl_give void (*free_user)(void *user);
31 #undef EL
32 #define EL isl_id
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;
41 #endif