export isl_vec_ceil

diff --git a/include/isl_vec.h b/include/isl_vec.h
index 07b3418..9ca5852 100644 (file)
--- a/include/isl_vec.h
+++ b/include/isl_vec.h
@@ -30,6 +30,7 @@ void isl_vec_free(struct isl_vec *vec);
 void isl_vec_dump(struct isl_vec *vec, FILE *out, int indent);
 
 void isl_vec_lcm(struct isl_vec *vec, isl_int *lcm);
+struct isl_vec *isl_vec_ceil(struct isl_vec *vec);
 
 struct isl_vec *isl_vec_read_from_file(struct isl_ctx *ctx,
                FILE *input, unsigned input_format);

diff --git a/isl_sample.c b/isl_sample.c
index 669ce0c..ecd27a7 100644 (file)
--- a/isl_sample.c
+++ b/isl_sample.c
@@ -576,24 +576,6 @@ static struct isl_vec *rational_sample(struct isl_basic_set *bset)
        return sample;
 }
 
-/* Given a rational vector, with the denominator in the first element
- * of the vector, round up all coordinates.
- */
-struct isl_vec *isl_vec_ceil(struct isl_vec *vec)
-{
-       int i;
-
-       vec = isl_vec_cow(vec);
-       if (!vec)
-               return NULL;
-
-       isl_seq_cdiv_q(vec->el + 1, vec->el + 1, vec->el[0], vec->size - 1);
-
-       isl_int_set_si(vec->el[0], 1);
-
-       return vec;
-}
-
 /* Given a linear cone "cone" and a rational point "vec",
  * construct a polyhedron with shifted copies of the constraints in "cone",
  * i.e., a polyhedron with "cone" as its recession cone, such that each

diff --git a/isl_vec.c b/isl_vec.c
index 03723f5..2d1d644 100644 (file)
--- a/isl_vec.c
+++ b/isl_vec.c
@@ -93,3 +93,21 @@ void isl_vec_lcm(struct isl_vec *vec, isl_int *lcm)
 {
        isl_seq_lcm(vec->block.data, vec->size, lcm);
 }
+
+/* Given a rational vector, with the denominator in the first element
+ * of the vector, round up all coordinates.
+ */
+struct isl_vec *isl_vec_ceil(struct isl_vec *vec)
+{
+       int i;
+
+       vec = isl_vec_cow(vec);
+       if (!vec)
+               return NULL;
+
+       isl_seq_cdiv_q(vec->el + 1, vec->el + 1, vec->el[0], vec->size - 1);
+
+       isl_int_set_si(vec->el[0], 1);
+
+       return vec;
+}