export isl_basic_set_lift
[platform/upstream/isl.git] / include / isl_list.h
1 /*
2  * Copyright 2008-2009 Katholieke Universiteit Leuven
3  *
4  * Use of this software is governed by the GNU LGPLv2.1 license
5  *
6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8  */
9
10 #ifndef ISL_LIST_H
11 #define ISL_LIST_H
12
13 #include <isl_ctx.h>
14
15 struct isl_basic_set;
16
17 struct isl_basic_set_list {
18         int ref;
19         struct isl_ctx *ctx;
20
21         int n;
22
23         size_t size;
24         struct isl_basic_set *p[1];
25 };
26
27 struct isl_basic_set_list *isl_basic_set_list_alloc(struct isl_ctx *ctx, int n);
28 void isl_basic_set_list_free(struct isl_basic_set_list *list);
29 struct isl_basic_set_list *isl_basic_set_list_add(
30         struct isl_basic_set_list *list,
31         struct isl_basic_set *bset);
32
33 #endif