hide isl_vec internals
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 20 Mar 2012 15:42:41 +0000 (20 16:42 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Jun 2013 18:10:56 +0000 (25 20:10 +0200)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
35 files changed:
Makefile.am
basis_reduction_templ.c
include/isl/printer.h
include/isl/vec.h
isl_aff.c
isl_affine_hull.c
isl_bernstein.c
isl_coalesce.c
isl_constraint.c
isl_convex_hull.c
isl_equalities.c
isl_fold.c
isl_ilp.c
isl_input.c
isl_local_space.c
isl_lp.c
isl_map.c
isl_map_simplify.c
isl_map_subtract.c
isl_mat.c
isl_output.c
isl_point.c
isl_polynomial.c
isl_sample.c
isl_scan.c
isl_schedule.c
isl_tab.c
isl_tab_pip.c
isl_transitive_closure.c
isl_vec.c
isl_vec_private.h [new file with mode: 0644]
isl_vertices.c
pip.c
polyhedron_minimize.c
polytope_scan.c

index 7698e27..50aac46 100644 (file)
@@ -141,6 +141,7 @@ libisl_la_SOURCES = \
        isl_val.c \
        isl_val_gmp.c \
        isl_val_private.h \
+       isl_vec_private.h \
        isl_vec.c \
        isl_version.c \
        isl_vertices_private.h \
index 7f4b28f..98d8141 100644 (file)
@@ -13,6 +13,7 @@
 #include <stdlib.h>
 #include <isl_ctx_private.h>
 #include <isl_map_private.h>
+#include <isl_vec_private.h>
 #include <isl_options_private.h>
 #include "isl_basis_reduction.h"
 
index 0979fc2..be748dd 100644 (file)
@@ -3,6 +3,7 @@
 
 #include <stdio.h>
 #include <isl/ctx.h>
+#include <isl/int.h>
 
 #if defined(__cplusplus)
 extern "C" {
index ad1309c..63ed6cf 100644 (file)
@@ -12,9 +12,7 @@
 
 #include <stdio.h>
 
-#include <isl/int.h>
 #include <isl/ctx.h>
-#include <isl/blk.h>
 #include <isl/val.h>
 #include <isl/printer.h>
 
 extern "C" {
 #endif
 
-struct isl_vec {
-       int ref;
-
-       struct isl_ctx *ctx;
-
-       unsigned size;
-       isl_int *el;
-
-       struct isl_blk block;
-};
+struct isl_vec;
 typedef struct isl_vec isl_vec;
 
 __isl_give isl_vec *isl_vec_alloc(isl_ctx *ctx, unsigned size);
 __isl_give isl_vec *isl_vec_copy(__isl_keep isl_vec *vec);
-struct isl_vec *isl_vec_cow(struct isl_vec *vec);
 void *isl_vec_free(__isl_take isl_vec *vec);
 
 isl_ctx *isl_vec_get_ctx(__isl_keep isl_vec *vec);
index 6a49123..640b744 100644 (file)
--- a/isl_aff.c
+++ b/isl_aff.c
@@ -18,6 +18,7 @@
 #include <isl_aff_private.h>
 #include <isl_space_private.h>
 #include <isl_local_space_private.h>
+#include <isl_vec_private.h>
 #include <isl_mat_private.h>
 #include <isl/constraint.h>
 #include <isl_seq.h>
index f38085f..6ca58bb 100644 (file)
@@ -22,6 +22,7 @@
 #include "isl_sample.h"
 #include "isl_tab.h"
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 
 struct isl_basic_map *isl_basic_map_implicit_equalities(
                                                struct isl_basic_map *bmap)
index 32e1a09..e0d2a41 100644 (file)
@@ -22,6 +22,7 @@
 #include <isl_vertices_private.h>
 #include <isl_polynomial_private.h>
 #include <isl_options_private.h>
+#include <isl_vec_private.h>
 #include <isl_bernstein.h>
 
 struct bernstein_data {
index 763904d..16f3896 100644 (file)
@@ -18,6 +18,7 @@
 #include "isl_tab.h"
 #include <isl_mat_private.h>
 #include <isl_local_space_private.h>
+#include <isl_vec_private.h>
 
 #define STATUS_ERROR           -1
 #define STATUS_REDUNDANT        1
index 50f532b..4a4d4cd 100644 (file)
@@ -17,6 +17,7 @@
 #include <isl_aff_private.h>
 #include <isl_local_space_private.h>
 #include <isl_val_private.h>
+#include <isl_vec_private.h>
 
 #undef BASE
 #define BASE constraint
index 67a9312..e87f108 100644 (file)
@@ -12,6 +12,7 @@
 #include <isl/lp.h>
 #include <isl/map.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include <isl/set.h>
 #include <isl_seq.h>
 #include <isl_options_private.h>
index 3974e52..25a1bf2 100644 (file)
@@ -11,6 +11,7 @@
  */
 
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include <isl_seq.h>
 #include "isl_map_private.h"
 #include "isl_equalities.h"
index ec9f103..9afd958 100644 (file)
@@ -18,6 +18,7 @@
 #include <isl_seq.h>
 #include <isl_mat_private.h>
 #include <isl_val_private.h>
+#include <isl_vec_private.h>
 #include <isl_config.h>
 
 enum isl_fold isl_fold_type_negate(enum isl_fold type)
index 8e227a7..5b7f30e 100644 (file)
--- a/isl_ilp.c
+++ b/isl_ilp.c
@@ -17,6 +17,7 @@
 #include <isl_local_space_private.h>
 #include <isl_mat_private.h>
 #include <isl_val_private.h>
+#include <isl_vec_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 76b0d1d..484cfdb 100644 (file)
@@ -25,6 +25,7 @@
 #include <isl/union_map.h>
 #include <isl_mat_private.h>
 #include <isl_aff_private.h>
+#include <isl_vec_private.h>
 #include <isl/list.h>
 #include <isl_val_private.h>
 
index c843f16..01b9c40 100644 (file)
@@ -16,6 +16,7 @@
 #include <isl_space_private.h>
 #include <isl_mat_private.h>
 #include <isl_aff_private.h>
+#include <isl_vec_private.h>
 #include <isl_seq.h>
 
 isl_ctx *isl_local_space_get_ctx(__isl_keep isl_local_space *ls)
index 07b3811..61db58e 100644 (file)
--- a/isl_lp.c
+++ b/isl_lp.c
@@ -18,6 +18,7 @@
 #include <isl_aff_private.h>
 #include <isl_mat_private.h>
 #include <isl_val_private.h>
+#include <isl_vec_private.h>
 
 enum isl_lp_result isl_tab_solve_lp(struct isl_basic_map *bmap, int maximize,
                                      isl_int *f, isl_int denom, isl_int *opt,
index ebf5bf9..bc64f64 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -28,6 +28,7 @@
 #include "isl_tab.h"
 #include <isl/vec.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include <isl_dim_map.h>
 #include <isl_local_space_private.h>
 #include <isl_aff_private.h>
index 132acad..73fff9b 100644 (file)
@@ -18,6 +18,7 @@
 #include "isl_tab.h"
 #include <isl_space_private.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 
 static void swap_equality(struct isl_basic_map *bmap, int a, int b)
 {
index b0aa359..9de5beb 100644 (file)
@@ -13,6 +13,7 @@
 #include <isl/map.h>
 #include "isl_tab.h"
 #include <isl_point_private.h>
+#include <isl_vec_private.h>
 
 /* Expand the constraint "c" into "v".  The initial "dim" dimensions
  * are the same, but "v" may have more divs than "c" and the divs of "c"
index 657b333..aa78c68 100644 (file)
--- a/isl_mat.c
+++ b/isl_mat.c
@@ -12,6 +12,7 @@
 #include <isl/space.h>
 #include <isl_seq.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include <isl_space_private.h>
 #include <isl_val_private.h>
 
index 3d35040..82d22b4 100644 (file)
@@ -20,6 +20,7 @@
 #include <isl_printer_private.h>
 #include <isl_space_private.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include <isl/union_map.h>
 #include <isl/constraint.h>
 #include <isl_local_space_private.h>
index efcabcd..495bcfc 100644 (file)
@@ -6,6 +6,7 @@
 #include <isl_seq.h>
 #include <isl_space_private.h>
 #include <isl_val_private.h>
+#include <isl_vec_private.h>
 
 isl_ctx *isl_point_get_ctx(__isl_keep isl_point *pnt)
 {
index b9cdc0e..017db35 100644 (file)
@@ -21,6 +21,7 @@
 #include <isl_point_private.h>
 #include <isl_space_private.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include <isl_range.h>
 #include <isl_local_space_private.h>
 #include <isl_aff_private.h>
index cd841bf..cc607ec 100644 (file)
@@ -20,6 +20,7 @@
 #include <isl_factorization.h>
 #include <isl_point_private.h>
 #include <isl_options_private.h>
+#include <isl_vec_private.h>
 
 static struct isl_vec *empty_sample(struct isl_basic_set *bset)
 {
index 269f719..eb8423c 100644 (file)
@@ -14,6 +14,7 @@
 #include <isl_seq.h>
 #include "isl_tab.h"
 #include <isl_val_private.h>
+#include <isl_vec_private.h>
 
 struct isl_counter {
        struct isl_scan_callback callback;
index e59f6e9..fccff79 100644 (file)
@@ -18,6 +18,7 @@
 #include <isl/constraint.h>
 #include <isl/schedule.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include <isl/set.h>
 #include <isl_seq.h>
 #include <isl_tab.h>
index eda574c..cc71fb4 100644 (file)
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -11,6 +11,7 @@
 
 #include <isl_ctx_private.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include "isl_map_private.h"
 #include "isl_tab.h"
 #include <isl_seq.h>
index 31a7dc7..d2e3451 100644 (file)
@@ -16,6 +16,7 @@
 #include "isl_tab.h"
 #include "isl_sample.h"
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include <isl_aff_private.h>
 #include <isl_options_private.h>
 #include <isl_config.h>
index ee27687..e814d6f 100644 (file)
@@ -16,6 +16,7 @@
 #include <isl/lp.h>
 #include <isl/union_map.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 #include <isl_options_private.h>
 #include <isl_tarjan.h>
 
index 8252117..c6cdc5b 100644 (file)
--- a/isl_vec.c
+++ b/isl_vec.c
@@ -9,8 +9,8 @@
 
 #include <isl_ctx_private.h>
 #include <isl_seq.h>
-#include <isl/vec.h>
 #include <isl_val_private.h>
+#include <isl_vec_private.h>
 
 isl_ctx *isl_vec_get_ctx(__isl_keep isl_vec *vec)
 {
diff --git a/isl_vec_private.h b/isl_vec_private.h
new file mode 100644 (file)
index 0000000..8285be6
--- /dev/null
@@ -0,0 +1,20 @@
+#ifndef ISL_VEC_PRIVATE_H
+#define ISL_VEC_PRIVATE_H
+
+#include <isl/blk.h>
+#include <isl/vec.h>
+
+struct isl_vec {
+       int ref;
+
+       struct isl_ctx *ctx;
+
+       unsigned size;
+       isl_int *el;
+
+       struct isl_blk block;
+};
+
+__isl_give isl_vec *isl_vec_cow(__isl_take isl_vec *vec);
+
+#endif
index 1a13691..bcf33d1 100644 (file)
@@ -16,6 +16,7 @@
 #include <isl_morph.h>
 #include <isl_vertices_private.h>
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 
 #define SELECTED       1
 #define DESELECTED     -1
diff --git a/pip.c b/pip.c
index b2ee6dc..2b2ce98 100644 (file)
--- a/pip.c
+++ b/pip.c
@@ -20,6 +20,7 @@
 #include <isl/ilp.h>
 #include <isl/printer.h>
 #include <isl_point_private.h>
+#include <isl_vec_private.h>
 #include <isl/options.h>
 
 /* The input of this program is the same as that of the "example" program
index 6cfab3b..62e51c6 100644 (file)
@@ -12,6 +12,7 @@
 #include <isl/vec.h>
 #include <isl/ilp.h>
 #include <isl_seq.h>
+#include <isl_vec_private.h>
 
 /* The input of this program is the same as that of the "polytope_minimize"
  * program from the barvinok distribution.
index 2236342..3fb3a4d 100644 (file)
@@ -13,6 +13,7 @@
 #include <isl_seq.h>
 #include "isl_scan.h"
 #include <isl_mat_private.h>
+#include <isl_vec_private.h>
 
 /* The input of this program is the same as that of the "polytope_scan"
  * program from the barvinok distribution.