From 8b3a2393ea4130653281a0ded8c4056ef786d279 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 2 Aug 2009 13:46:17 +0200 Subject: make piplib headers private --- isl_map_piplib.h | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 isl_map_piplib.h (limited to 'isl_map_piplib.h') diff --git a/isl_map_piplib.h b/isl_map_piplib.h new file mode 100644 index 00000000..70533fc9 --- /dev/null +++ b/isl_map_piplib.h @@ -0,0 +1,22 @@ +#ifndef ISL_MAP_PIPLIB_H +#define ISL_MAP_PIPLIB_H + +#include + +#if defined(__cplusplus) +extern "C" { +#endif + +struct isl_map *isl_pip_basic_map_lexmax( + struct isl_basic_map *bmap, struct isl_basic_set *dom, + struct isl_set **empty); +struct isl_map *isl_pip_basic_map_lexmin( + struct isl_basic_map *bmap, struct isl_basic_set *dom, + struct isl_set **empty); +struct isl_map *isl_pip_basic_map_compute_divs(struct isl_basic_map *bmap); + +#if defined(__cplusplus) +} +#endif + +#endif -- cgit v1.2.3