gen_fun::add_union: context of result should be the union of the input contexts
[barvinok.git] / isl_map_polylib.h
blob276f173ffe1f57ed3d00a1c469f45c504e367d25
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/dim.h>
14 #include <isl/map.h>
15 #include <isl_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 *dim);
23 __isl_give isl_map *isl_map_new_from_polylib(Polyhedron *D,
24 __isl_take isl_space *dim);
25 Polyhedron *isl_basic_map_to_polylib(__isl_keep isl_basic_map *bmap);
26 Polyhedron *isl_map_to_polylib(__isl_keep isl_map *map);
28 #if defined(__cplusplus)
30 #endif
32 #endif