isl_{basic_,}set_read_from_file: allow user to specify number of parameters
[platform/upstream/isl.git] / include / isl_set_polylib.h
1 #ifndef ISL_SET_POLYLIB_H
2 #define ISL_SET_POLYLIB_H
3
4 #include <isl_set.h>
5 #include <isl_polylib.h>
6
7 #if defined(__cplusplus)
8 extern "C" {
9 #endif
10
11 struct isl_basic_set *isl_basic_set_new_from_polylib(
12                         struct isl_ctx *ctx,
13                         Polyhedron *P, unsigned nparam, unsigned dim);
14 Polyhedron *isl_basic_set_to_polylib(struct isl_ctx *ctx,
15                                                 struct isl_basic_set *bset);
16
17 struct isl_set *isl_set_new_from_polylib(struct isl_ctx *ctx,
18                         Polyhedron *D, unsigned nparam, unsigned dim);
19 Polyhedron *isl_set_to_polylib(struct isl_ctx *ctx, struct isl_set *set);
20
21 #if defined(__cplusplus)
22 }
23 #endif
24
25 #endif