barvinok_count.c

   1 #include <unistd.h>
   2 #include <stdlib.h>
   3 #include <strings.h>
   4 #include <barvinok/util.h>
   5 #include <barvinok/barvinok.h>
   6 #include "argp.h"
   7 #include "progname.h"
   8
   9 int main(int argc, char **argv)
  10 {
  11     Value cb;
  12     Polyhedron *A;
  13     struct barvinok_options *options = barvinok_options_new_with_defaults();
  14
  15     set_program_name(argv[0]);
  16     argp_parse(&barvinok_argp, argc, argv, 0, 0, options);
  17
  18     A = Polyhedron_Read(options->MaxRays);
  19     value_init(cb);
  20     Polyhedron_Print(stdout, P_VALUE_FMT, A);
  21     barvinok_count_with_options(A, &cb, options);
  22     value_print(stdout, P_VALUE_FMT, cb);
  23     puts("");
  24     if (options->print_stats)
  25         barvinok_stats_print(options->stats, stdout);
  26     value_clear(cb);
  27     Polyhedron_Free(A);
  28     barvinok_options_free(options);
  29     return 0;
  30 }