From 0c2f05a5b22fc8a23b0e7461874517ad9b62a79f Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 17 Apr 2013 11:57:09 +0200
Subject: [PATCH] hide undocumented *_solve_lp functions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 Makefile.am              |  1 +
 include/isl/ilp.h        |  1 +
 include/isl/lp.h         | 19 -------------------
 isl_convex_hull.c        |  2 +-
 isl_fold.c               |  2 +-
 isl_ilp.c                |  1 +
 isl_lp_piplib.h          |  1 +
 isl_lp_private.h         | 19 +++++++++++++++++++
 isl_map.c                |  2 +-
 isl_polynomial.c         |  2 +-
 isl_transitive_closure.c |  2 +-
 11 files changed, 28 insertions(+), 24 deletions(-)
 create mode 100644 isl_lp_private.h

diff --git a/Makefile.am b/Makefile.am
index 961d159c..f0560044 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -89,6 +89,7 @@ libisl_la_SOURCES = \
 	isl_local_space.c \
 	isl_lp.c \
 	isl_lp_piplib.h \
+	isl_lp_private.h \
 	isl_map.c \
 	isl_map_simplify.c \
 	isl_map_subtract.c \
diff --git a/include/isl/ilp.h b/include/isl/ilp.h
index 5791ee63..0e8c5b4a 100644
--- a/include/isl/ilp.h
+++ b/include/isl/ilp.h
@@ -13,6 +13,7 @@
 #include <isl/aff_type.h>
 #include <isl/lp.h>
 #include <isl/val.h>
+#include <isl/vec.h>
 
 #if defined(__cplusplus)
 extern "C" {
diff --git a/include/isl/lp.h b/include/isl/lp.h
index e3bd611d..461ae009 100644
--- a/include/isl/lp.h
+++ b/include/isl/lp.h
@@ -12,9 +12,6 @@
 
 #include <isl/aff.h>
 #include <isl/val.h>
-#include <isl/int.h>
-#include <isl/vec.h>
-#include <isl/map_type.h>
 #include <isl/set_type.h>
 
 enum isl_lp_result {
@@ -28,22 +25,6 @@ enum isl_lp_result {
 extern "C" {
 #endif
 
-enum isl_lp_result isl_basic_map_solve_lp(struct isl_basic_map *bmap, int max,
-				      isl_int *f, isl_int denom, isl_int *opt,
-				      isl_int *opt_denom,
-				      struct isl_vec **sol);
-enum isl_lp_result isl_basic_set_solve_lp(struct isl_basic_set *bset, int max,
-				      isl_int *f, isl_int denom, isl_int *opt,
-				      isl_int *opt_denom,
-				      struct isl_vec **sol);
-enum isl_lp_result isl_map_solve_lp(__isl_keep isl_map *map, int max,
-				      isl_int *f, isl_int denom, isl_int *opt,
-				      isl_int *opt_denom,
-				      struct isl_vec **sol);
-enum isl_lp_result isl_set_solve_lp(__isl_keep isl_set *set, int max,
-				      isl_int *f, isl_int denom, isl_int *opt,
-				      isl_int *opt_denom,
-				      struct isl_vec **sol);
 __isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset,
 	__isl_keep isl_aff *obj);
 __isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset,
diff --git a/isl_convex_hull.c b/isl_convex_hull.c
index e87f1086..316b8dca 100644
--- a/isl_convex_hull.c
+++ b/isl_convex_hull.c
@@ -9,7 +9,7 @@
 
 #include <isl_ctx_private.h>
 #include <isl_map_private.h>
-#include <isl/lp.h>
+#include <isl_lp_private.h>
 #include <isl/map.h>
 #include <isl_mat_private.h>
 #include <isl_vec_private.h>
diff --git a/isl_fold.c b/isl_fold.c
index 9afd9583..cba6ad10 100644
--- a/isl_fold.c
+++ b/isl_fold.c
@@ -14,7 +14,7 @@
 #include <isl_polynomial_private.h>
 #include <isl_point_private.h>
 #include <isl_space_private.h>
-#include <isl/lp.h>
+#include <isl_lp_private.h>
 #include <isl_seq.h>
 #include <isl_mat_private.h>
 #include <isl_val_private.h>
diff --git a/isl_ilp.c b/isl_ilp.c
index 5b7f30eb..35e8eb52 100644
--- a/isl_ilp.c
+++ b/isl_ilp.c
@@ -18,6 +18,7 @@
 #include <isl_mat_private.h>
 #include <isl_val_private.h>
 #include <isl_vec_private.h>
+#include <isl_lp_private.h>
 
 /* Given a basic set "bset", construct a basic set U such that for
  * each element x in U, the whole unit box positioned at x is inside
diff --git a/isl_lp_piplib.h b/isl_lp_piplib.h
index 21153aa4..f1d924ea 100644
--- a/isl_lp_piplib.h
+++ b/isl_lp_piplib.h
@@ -11,6 +11,7 @@
 #define ISL_LP_PIPLIB_H
 
 #include <isl/lp.h>
+#include <isl/vec.h>
 
 #if defined(__cplusplus)
 extern "C" {
diff --git a/isl_lp_private.h b/isl_lp_private.h
new file mode 100644
index 00000000..5ad3ed2d
--- /dev/null
+++ b/isl_lp_private.h
@@ -0,0 +1,19 @@
+#ifndef ISL_LP_PRIVATE_H
+#define ISL_LP_PRIVATE_H
+
+#include <isl/lp.h>
+
+enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap,
+	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
+	__isl_give isl_vec **sol);
+enum isl_lp_result isl_basic_set_solve_lp(__isl_keep isl_basic_set *bset,
+	int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
+	__isl_give isl_vec **sol);
+enum isl_lp_result isl_map_solve_lp(__isl_keep isl_map *map, int max,
+	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
+	__isl_give isl_vec **sol);
+enum isl_lp_result isl_set_solve_lp(__isl_keep isl_set *set, int max,
+	isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
+	__isl_give isl_vec **sol);
+
+#endif
diff --git a/isl_map.c b/isl_map.c
index 0c2d7188..74ec7adb 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -18,7 +18,7 @@
 #include <isl_blk.h>
 #include "isl_space_private.h"
 #include "isl_equalities.h"
-#include <isl/lp.h>
+#include <isl_lp_private.h>
 #include <isl_seq.h>
 #include <isl/set.h>
 #include <isl/map.h>
diff --git a/isl_polynomial.c b/isl_polynomial.c
index 017db351..1729c7e8 100644
--- a/isl_polynomial.c
+++ b/isl_polynomial.c
@@ -13,7 +13,7 @@
 #include <isl_ctx_private.h>
 #include <isl_map_private.h>
 #include <isl_factorization.h>
-#include <isl/lp.h>
+#include <isl_lp_private.h>
 #include <isl_seq.h>
 #include <isl_union_map_private.h>
 #include <isl_constraint_private.h>
diff --git a/isl_transitive_closure.c b/isl_transitive_closure.c
index e814d6f3..c33698a4 100644
--- a/isl_transitive_closure.c
+++ b/isl_transitive_closure.c
@@ -13,7 +13,7 @@
 #include <isl/map.h>
 #include <isl_seq.h>
 #include <isl_space_private.h>
-#include <isl/lp.h>
+#include <isl_lp_private.h>
 #include <isl/union_map.h>
 #include <isl_mat_private.h>
 #include <isl_vec_private.h>
-- 
2.11.4.GIT