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
   7 int main(int argc, char **argv)
   8 {
   9     Value cb;
  10     Polyhedron *A;
  11     struct barvinok_options *options = barvinok_options_new_with_defaults();
  12
  13     argc = barvinok_options_parse(options, argc, argv, ISL_ARG_ALL);
  14
  15     A = Polyhedron_Read(options->MaxRays);
  16     value_init(cb);
  17     Polyhedron_Print(stdout, P_VALUE_FMT, A);
  18     barvinok_count_with_options(A, &cb, options);
  19     value_print(stdout, P_VALUE_FMT, cb);
  20     puts("");
  21     if (options->print_stats)
  22         barvinok_stats_print(options->stats, stdout);
  23     value_clear(cb);
  24     Polyhedron_Free(A);
  25     barvinok_options_free(options);
  26     return 0;
  27 }