isl_pw_qpolynomial_sum: handle existentials in wrapped domains
[barvinok.git] / barvinok_count.c
blobe8e916ca25c76764bafa40189a9bd02cf33085fc
1 #include <unistd.h>
2 #include <stdlib.h>
3 #include <strings.h>
4 #include <barvinok/util.h>
5 #include <barvinok/barvinok.h>
7 int main(int argc, char **argv)
9 Value cb;
10 Polyhedron *A;
11 struct barvinok_options *options = barvinok_options_new_with_defaults();
13 argc = barvinok_options_parse(options, argc, argv, ISL_ARG_ALL);
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;