polyhedron_integer_hull.c

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