isl_convex_hull.c: modulo_affine_hull: drop redundant argument

[platform/upstream/isl.git] / pip.c

diff --git a/pip.c b/pip.c
index 6c0ffe1..5a7f274 100644 (file)
--- a/pip.c
+++ b/pip.c
@@ -16,6 +16,7 @@
 #include "isl_scan.h"
 #include "isl_seq.h"
 #include "isl_ilp.h"
+#include <isl_point_private.h>
 
 /* The input of this program is the same as that of the "example" program
  * from the PipLib distribution, except that the "big parameter column"
@@ -215,11 +216,10 @@ static int scan_one(struct isl_scan_callback *callback,
        assert(opt);
 
        if (opt->size == 0) {
-               isl_set *sample_set;
-               sample_set = isl_set_from_basic_set(
-                               isl_basic_set_from_vec(sample));
-               assert(isl_set_is_subset(sample_set, sp->empty));
-               isl_set_free(sample_set);
+               isl_point *sample_pnt;
+               sample_pnt = isl_point_alloc(isl_set_get_dim(sp->empty), sample);
+               assert(isl_set_contains_point(sp->empty, sample_pnt));
+               isl_point_free(sample_pnt);
                isl_vec_free(opt);
        } else {
                isl_set *sol;
@@ -313,7 +313,7 @@ int main(int argc, char **argv)
 
        options = pip_options_new_with_defaults();
        assert(options);
-       argc = pip_options_parse(options, argc, argv);
+       argc = pip_options_parse(options, argc, argv, ISL_ARG_ALL);
 
        ctx = isl_ctx_alloc_with_options(options->isl);
        options->isl = NULL;
@@ -360,9 +360,11 @@ int main(int argc, char **argv)
                assert(!rational);
                check_solution(copy, context_copy, set, empty, max);
        } else {
-               isl_set_dump(set, stdout, 0);
-               fprintf(stdout, "no solution:\n");
-               isl_set_dump(empty, stdout, 4);
+               isl_set_print(set, stdout, 0, ISL_FORMAT_ISL);
+               fprintf(stdout, "\n");
+               fprintf(stdout, "no solution: ");
+               isl_set_print(empty, stdout, 0, ISL_FORMAT_ISL);
+               fprintf(stdout, "\n");
        }
 
        isl_set_free(set);