lattice_point.cc: add ceiling function
[barvinok/uuh.git] / cone_integer_hull.c
blob69566e3bdd4335a9f7758b56636745ede005d1bb
1 #include <barvinok/polylib.h>
2 #include <barvinok/options.h>
3 #include "argp.h"
4 #include "progname.h"
5 #include "hull.h"
7 int main(int argc, char **argv)
9 Matrix *M;
10 Polyhedron *C;
11 struct barvinok_options *options = barvinok_options_new_with_defaults();
13 set_program_name(argv[0]);
14 argp_parse(&barvinok_argp, argc, argv, 0, 0, options);
16 M = Matrix_Read();
17 C = Constraints2Polyhedron(M, options->MaxRays);
18 Matrix_Free(M);
20 M = Cone_Integer_Hull(C, NULL, 0, options);
22 Polyhedron_Free(C);
24 Matrix_Print(stdout, P_VALUE_FMT, M);
25 Matrix_Free(M);
27 if (options->print_stats)
28 barvinok_stats_print(options->stats, stdout);
30 barvinok_options_free(options);
31 return 0;