polysign_isl.c: extract_inequalities: use isl_val
[barvinok.git] / isl_set_polylib.h
blob29b2d1dc52b3a49333562172cf7e13f7bf10c77b
1 /*
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the GNU GPLv2 license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8 */
10 #ifndef ISL_SET_POLYLIB_H
11 #define ISL_SET_POLYLIB_H
13 #include <isl/set.h>
14 #include <isl_polylib.h>
16 #if defined(__cplusplus)
17 extern "C" {
18 #endif
20 __isl_give isl_basic_set *isl_basic_set_new_from_polylib(Polyhedron *P,
21 __isl_take isl_space *dim);
22 Polyhedron *isl_basic_set_to_polylib(__isl_keep isl_basic_set *bset);
24 __isl_give isl_set *isl_set_new_from_polylib(Polyhedron *D,
25 __isl_take isl_space *dim);
26 Polyhedron *isl_set_to_polylib(__isl_keep isl_set *set);
28 #if defined(__cplusplus)
30 #endif
32 #endif