remove_all_equalities: also remove parameter equalities after main compression
[barvinok.git] / isl_map_polylib.h
blobb955a6ea6b83da315df2f405a599d886f8b650e7
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_MAP_POLYLIB_H
11 #define ISL_MAP_POLYLIB_H
13 #include <isl/space.h>
14 #include <isl/map.h>
15 #include <barvinok/polylib.h>
17 #if defined(__cplusplus)
18 extern "C" {
19 #endif
21 __isl_give isl_basic_map *isl_basic_map_new_from_polylib(Polyhedron *P,
22 __isl_take isl_space *space);
23 Polyhedron *isl_basic_map_to_polylib(__isl_keep isl_basic_map *bmap);
24 Polyhedron *isl_map_to_polylib(__isl_keep isl_map *map);
26 #if defined(__cplusplus)
28 #endif
30 #endif