isl_solve_lp: optionally return solution point
[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(Polyhedron *P,
12                         struct isl_dim *dim);
13 Polyhedron *isl_basic_set_to_polylib(struct isl_basic_set *bset);
14
15 struct isl_set *isl_set_new_from_polylib(Polyhedron *D, struct isl_dim *dim);
16 Polyhedron *isl_set_to_polylib(struct isl_set *set);
17
18 #if defined(__cplusplus)
19 }
20 #endif
21
22 #endif