hide undocumented *_solve_lp functions
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 17 Apr 2013 09:57:09 +0000 (17 11:57 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Jun 2013 18:16:06 +0000 (25 20:16 +0200)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Makefile.am
include/isl/ilp.h
include/isl/lp.h
isl_convex_hull.c
isl_fold.c
isl_ilp.c
isl_lp_piplib.h
isl_lp_private.h [new file with mode: 0644]
isl_map.c
isl_polynomial.c
isl_transitive_closure.c

index 961d159..f056004 100644 (file)
@@ -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 \
index 5791ee6..0e8c5b4 100644 (file)
@@ -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" {
index e3bd611..461ae00 100644 (file)
@@ -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,
index e87f108..316b8dc 100644 (file)
@@ -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>
index 9afd958..cba6ad1 100644 (file)
@@ -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>
index 5b7f30e..35e8eb5 100644 (file)
--- 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
index 21153aa..f1d924e 100644 (file)
@@ -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 (file)
index 0000000..5ad3ed2
--- /dev/null
@@ -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
index 0c2d718..74ec7ad 100644 (file)
--- 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>
index 017db35..1729c7e 100644 (file)
@@ -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>
index e814d6f..c33698a 100644 (file)
@@ -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>