summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--Makefile.am2
-rw-r--r--basis_reduction_tab.c2
-rw-r--r--isl_aff.c2
-rw-r--r--isl_affine_hull.c2
-rw-r--r--isl_bernstein.c2
-rw-r--r--isl_coalesce.c2
-rw-r--r--isl_constraint.c2
-rw-r--r--isl_convex_hull.c2
-rw-r--r--isl_equalities.c2
-rw-r--r--isl_farkas.c2
-rw-r--r--isl_fold.c2
-rw-r--r--isl_ilp.c2
-rw-r--r--isl_input.c2
-rw-r--r--isl_local_space.c2
-rw-r--r--isl_lp.c2
-rw-r--r--isl_map.c2
-rw-r--r--isl_map_piplib.c2
-rw-r--r--isl_map_simplify.c2
-rw-r--r--isl_map_subtract.c2
-rw-r--r--isl_mat.c2
-rw-r--r--isl_morph.c2
-rw-r--r--isl_output.c2
-rw-r--r--isl_point.c2
-rw-r--r--isl_polynomial.c2
-rw-r--r--isl_sample.c2
-rw-r--r--isl_sample_piplib.c2
-rw-r--r--isl_scan.c2
-rw-r--r--isl_schedule.c2
-rw-r--r--isl_seq.c2
-rw-r--r--isl_seq.h (renamed from include/isl/seq.h)0
-rw-r--r--isl_tab.c2
-rw-r--r--isl_tab_pip.c2
-rw-r--r--isl_transitive_closure.c2
-rw-r--r--isl_vec.c2
-rw-r--r--isl_vertices.c2
-rw-r--r--pip.c2
-rw-r--r--polyhedron_minimize.c2
-rw-r--r--polytope_scan.c2
38 files changed, 37 insertions, 37 deletions
diff --git a/Makefile.am b/Makefile.am
index 834b7e8f..7698e27d 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -129,6 +129,7 @@ libisl_la_SOURCES = \
isl_stream.c \
isl_stream_private.h \
isl_seq.c \
+ isl_seq.h \
isl_tab.c \
isl_tab.h \
isl_tab_pip.c \
@@ -244,7 +245,6 @@ pkginclude_HEADERS = \
include/isl/polynomial_type.h \
include/isl/printer.h \
include/isl/schedule.h \
- include/isl/seq.h \
include/isl/set.h \
include/isl/set_type.h \
include/isl/space.h \
diff --git a/basis_reduction_tab.c b/basis_reduction_tab.c
index 6c7b0403..dca77384 100644
--- a/basis_reduction_tab.c
+++ b/basis_reduction_tab.c
@@ -9,7 +9,7 @@
#include <assert.h>
#include <isl_map_private.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_tab.h"
struct tab_lp {
diff --git a/isl_aff.c b/isl_aff.c
index 3b2d20e1..6a491237 100644
--- a/isl_aff.c
+++ b/isl_aff.c
@@ -20,7 +20,7 @@
#include <isl_local_space_private.h>
#include <isl_mat_private.h>
#include <isl/constraint.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl/set.h>
#include <isl_val_private.h>
#include <isl_config.h>
diff --git a/isl_affine_hull.c b/isl_affine_hull.c
index 0d66081e..f38085ff 100644
--- a/isl_affine_hull.c
+++ b/isl_affine_hull.c
@@ -14,7 +14,7 @@
#include <isl_ctx_private.h>
#include <isl_map_private.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl/set.h>
#include <isl/lp.h>
#include <isl/map.h>
diff --git a/isl_bernstein.c b/isl_bernstein.c
index bcb1781e..32e1a09a 100644
--- a/isl_bernstein.c
+++ b/isl_bernstein.c
@@ -16,7 +16,7 @@
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl/set.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_morph.h>
#include <isl_factorization.h>
#include <isl_vertices_private.h>
diff --git a/isl_coalesce.c b/isl_coalesce.c
index 501d6a7b..763904db 100644
--- a/isl_coalesce.c
+++ b/isl_coalesce.c
@@ -13,7 +13,7 @@
*/
#include "isl_map_private.h"
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl/options.h>
#include "isl_tab.h"
#include <isl_mat_private.h>
diff --git a/isl_constraint.c b/isl_constraint.c
index 1b12a196..50f532be 100644
--- a/isl_constraint.c
+++ b/isl_constraint.c
@@ -13,7 +13,7 @@
#include <isl_map_private.h>
#include <isl_constraint_private.h>
#include <isl_space_private.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_aff_private.h>
#include <isl_local_space_private.h>
#include <isl_val_private.h>
diff --git a/isl_convex_hull.c b/isl_convex_hull.c
index dc8ac917..67a93127 100644
--- a/isl_convex_hull.c
+++ b/isl_convex_hull.c
@@ -13,7 +13,7 @@
#include <isl/map.h>
#include <isl_mat_private.h>
#include <isl/set.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_options_private.h>
#include "isl_equalities.h"
#include "isl_tab.h"
diff --git a/isl_equalities.c b/isl_equalities.c
index da36c3d1..3974e522 100644
--- a/isl_equalities.c
+++ b/isl_equalities.c
@@ -11,7 +11,7 @@
*/
#include <isl_mat_private.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_map_private.h"
#include "isl_equalities.h"
#include <isl_val_private.h>
diff --git a/isl_farkas.c b/isl_farkas.c
index 2294b63c..3552b04d 100644
--- a/isl_farkas.c
+++ b/isl_farkas.c
@@ -11,7 +11,7 @@
#include <isl_map_private.h>
#include <isl/set.h>
#include <isl_space_private.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
/*
* Let C be a cone and define
diff --git a/isl_fold.c b/isl_fold.c
index 62ad0651..ec9f1033 100644
--- a/isl_fold.c
+++ b/isl_fold.c
@@ -15,7 +15,7 @@
#include <isl_point_private.h>
#include <isl_space_private.h>
#include <isl/lp.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_mat_private.h>
#include <isl_val_private.h>
#include <isl_config.h>
diff --git a/isl_ilp.c b/isl_ilp.c
index 63261bff..8e227a7c 100644
--- a/isl_ilp.c
+++ b/isl_ilp.c
@@ -11,7 +11,7 @@
#include <isl_map_private.h>
#include <isl/ilp.h>
#include "isl_sample.h"
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_equalities.h"
#include <isl_aff_private.h>
#include <isl_local_space_private.h>
diff --git a/isl_input.c b/isl_input.c
index b887d1a4..76b0d1d4 100644
--- a/isl_input.c
+++ b/isl_input.c
@@ -18,7 +18,7 @@
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl/set.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_stream_private.h>
#include <isl/obj.h>
#include "isl_polynomial_private.h"
diff --git a/isl_local_space.c b/isl_local_space.c
index 4577cde5..c843f16b 100644
--- a/isl_local_space.c
+++ b/isl_local_space.c
@@ -16,7 +16,7 @@
#include <isl_space_private.h>
#include <isl_mat_private.h>
#include <isl_aff_private.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
isl_ctx *isl_local_space_get_ctx(__isl_keep isl_local_space *ls)
{
diff --git a/isl_lp.c b/isl_lp.c
index aed25d12..07b3811e 100644
--- a/isl_lp.c
+++ b/isl_lp.c
@@ -11,7 +11,7 @@
#include <isl_map_private.h>
#include <isl/lp.h>
#include "isl_lp_piplib.h"
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_tab.h"
#include <isl_options_private.h>
#include <isl_local_space_private.h>
diff --git a/isl_map.c b/isl_map.c
index 561f1c65..ebf5bf99 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -19,7 +19,7 @@
#include "isl_space_private.h"
#include "isl_equalities.h"
#include <isl/lp.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl/set.h>
#include <isl/map.h>
#include "isl_map_piplib.h"
diff --git a/isl_map_piplib.c b/isl_map_piplib.c
index 165fdaeb..8542fa52 100644
--- a/isl_map_piplib.c
+++ b/isl_map_piplib.c
@@ -12,7 +12,7 @@
#include <isl/set.h>
#include <isl/map.h>
#include <isl/mat.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_piplib.h"
#include "isl_map_piplib.h"
diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index b3ceb80a..132acade 100644
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -14,7 +14,7 @@
#include <isl_map_private.h>
#include "isl_equalities.h"
#include <isl/map.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_tab.h"
#include <isl_space_private.h>
#include <isl_mat_private.h>
diff --git a/isl_map_subtract.c b/isl_map_subtract.c
index 2c958c76..b0aa3594 100644
--- a/isl_map_subtract.c
+++ b/isl_map_subtract.c
@@ -8,7 +8,7 @@
*/
#include <isl_map_private.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl/set.h>
#include <isl/map.h>
#include "isl_tab.h"
diff --git a/isl_mat.c b/isl_mat.c
index 129cdc74..657b333e 100644
--- a/isl_mat.c
+++ b/isl_mat.c
@@ -10,7 +10,7 @@
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl/space.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_mat_private.h>
#include <isl_space_private.h>
#include <isl_val_private.h>
diff --git a/isl_morph.c b/isl_morph.c
index 3700874a..aad28620 100644
--- a/isl_morph.c
+++ b/isl_morph.c
@@ -10,7 +10,7 @@
#include <isl_map_private.h>
#include <isl_morph.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_mat_private.h>
#include <isl_space_private.h>
#include <isl_equalities.h>
diff --git a/isl_output.c b/isl_output.c
index deeb2433..3d35040a 100644
--- a/isl_output.c
+++ b/isl_output.c
@@ -15,7 +15,7 @@
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl/set.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_polynomial_private.h>
#include <isl_printer_private.h>
#include <isl_space_private.h>
diff --git a/isl_point.c b/isl_point.c
index a86dd67d..efcabcd0 100644
--- a/isl_point.c
+++ b/isl_point.c
@@ -3,7 +3,7 @@
#include <isl/set.h>
#include <isl_sample.h>
#include <isl_scan.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_space_private.h>
#include <isl_val_private.h>
diff --git a/isl_polynomial.c b/isl_polynomial.c
index 45676e5e..b9cdc0e9 100644
--- a/isl_polynomial.c
+++ b/isl_polynomial.c
@@ -14,7 +14,7 @@
#include <isl_map_private.h>
#include <isl_factorization.h>
#include <isl/lp.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_union_map_private.h>
#include <isl_constraint_private.h>
#include <isl_polynomial_private.h>
diff --git a/isl_sample.c b/isl_sample.c
index c6a0f314..cd841bfc 100644
--- a/isl_sample.c
+++ b/isl_sample.c
@@ -13,7 +13,7 @@
#include "isl_sample_piplib.h"
#include <isl/vec.h>
#include <isl/mat.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_equalities.h"
#include "isl_tab.h"
#include "isl_basis_reduction.h"
diff --git a/isl_sample_piplib.c b/isl_sample_piplib.c
index 4970cd50..654e4ac0 100644
--- a/isl_sample_piplib.c
+++ b/isl_sample_piplib.c
@@ -9,7 +9,7 @@
#include <isl/mat.h>
#include <isl/vec.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_piplib.h"
#include "isl_sample_piplib.h"
diff --git a/isl_scan.c b/isl_scan.c
index a7d2b9f4..269f719d 100644
--- a/isl_scan.c
+++ b/isl_scan.c
@@ -11,7 +11,7 @@
#include <isl_map_private.h>
#include "isl_basis_reduction.h"
#include "isl_scan.h"
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_tab.h"
#include <isl_val_private.h>
diff --git a/isl_schedule.c b/isl_schedule.c
index da0ae63f..e59f6e95 100644
--- a/isl_schedule.c
+++ b/isl_schedule.c
@@ -19,7 +19,7 @@
#include <isl/schedule.h>
#include <isl_mat_private.h>
#include <isl/set.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_tab.h>
#include <isl_dim_map.h>
#include <isl_hmap_map_basic_set.h>
diff --git a/isl_seq.c b/isl_seq.c
index 42e6b63a..fbbc26f1 100644
--- a/isl_seq.c
+++ b/isl_seq.c
@@ -8,7 +8,7 @@
*/
#include <isl_ctx_private.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
void isl_seq_clr(isl_int *p, unsigned len)
{
diff --git a/include/isl/seq.h b/isl_seq.h
index 0963352d..0963352d 100644
--- a/include/isl/seq.h
+++ b/isl_seq.h
diff --git a/isl_tab.c b/isl_tab.c
index e4cc3866..eda574c5 100644
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -13,7 +13,7 @@
#include <isl_mat_private.h>
#include "isl_map_private.h"
#include "isl_tab.h"
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_config.h>
/*
diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 6e575c1c..31a7dc79 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -12,7 +12,7 @@
#include <isl_ctx_private.h>
#include "isl_map_private.h"
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_tab.h"
#include "isl_sample.h"
#include <isl_mat_private.h>
diff --git a/isl_transitive_closure.c b/isl_transitive_closure.c
index 70d15b91..ee276871 100644
--- a/isl_transitive_closure.c
+++ b/isl_transitive_closure.c
@@ -11,7 +11,7 @@
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl/map.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_space_private.h>
#include <isl/lp.h>
#include <isl/union_map.h>
diff --git a/isl_vec.c b/isl_vec.c
index f6d5a874..82521173 100644
--- a/isl_vec.c
+++ b/isl_vec.c
@@ -8,7 +8,7 @@
*/
#include <isl_ctx_private.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl/vec.h>
#include <isl_val_private.h>
diff --git a/isl_vertices.c b/isl_vertices.c
index 562c7b2f..1a136914 100644
--- a/isl_vertices.c
+++ b/isl_vertices.c
@@ -10,7 +10,7 @@
#include <isl_map_private.h>
#include <isl/set.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl_tab.h>
#include <isl_space_private.h>
#include <isl_morph.h>
diff --git a/pip.c b/pip.c
index da08d2e1..b2ee6dca 100644
--- a/pip.c
+++ b/pip.c
@@ -16,7 +16,7 @@
#include "isl_tab.h"
#include "isl_sample.h"
#include "isl_scan.h"
-#include <isl/seq.h>
+#include <isl_seq.h>
#include <isl/ilp.h>
#include <isl/printer.h>
#include <isl_point_private.h>
diff --git a/polyhedron_minimize.c b/polyhedron_minimize.c
index bb9dabe1..6cfab3bf 100644
--- a/polyhedron_minimize.c
+++ b/polyhedron_minimize.c
@@ -11,7 +11,7 @@
#include <isl/set.h>
#include <isl/vec.h>
#include <isl/ilp.h>
-#include <isl/seq.h>
+#include <isl_seq.h>
/* The input of this program is the same as that of the "polytope_minimize"
* program from the barvinok distribution.
diff --git a/polytope_scan.c b/polytope_scan.c
index 95945158..22363426 100644
--- a/polytope_scan.c
+++ b/polytope_scan.c
@@ -10,7 +10,7 @@
#include <assert.h>
#include <isl_map_private.h>
#include "isl_equalities.h"
-#include <isl/seq.h>
+#include <isl_seq.h>
#include "isl_scan.h"
#include <isl_mat_private.h>
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-29 00:02:22 +0000