polyhedron_integer_hull.c

   1 #include <barvinok/polylib.h>
   2 #include <barvinok/options.h>
   3 #include "argp.h"
   4 #include "progname.h"
   5 #include "hull.h"
   6
   7 int main(int argc, char **argv)
   8 {
   9     Matrix *M;
  10     Polyhedron *C;
  11     struct barvinok_options *options = barvinok_options_new_with_defaults();
  12
  13     set_program_name(argv[0]);
  14     argp_parse(&barvinok_argp, argc, argv, 0, 0, options);
  15
  16     M = Matrix_Read();
  17     C = Constraints2Polyhedron(M, options->MaxRays);
  18     Matrix_Free(M);
  19
  20     M = Polyhedron_Integer_Hull(C, options);
  21
  22     Polyhedron_Free(C);
  23
  24     Matrix_Print(stdout, P_VALUE_FMT, M);
  25     Matrix_Free(M);
  26
  27     barvinok_options_free(options);
  28     return 0;
  29 }