barvinok_count.c

   1 #include <unistd.h>
   2 #include <polylib/polylibgmp.h>
   3 #include <util.h>
   4 #include <barvinok.h>
   5 #include "config.h"
   6
   7 #ifdef HAVE_GROWING_CHERNIKOVA
   8 #define MAXRAYS    0
   9 #else
  10 #define MAXRAYS  600
  11 #endif
  12
  13 int main()
  14 {
  15     Value cb;
  16     Polyhedron *A;
  17     Matrix *M;
  18
  19     M = Matrix_Read();
  20     A = Constraints2Polyhedron(M, MAXRAYS);
  21     Matrix_Free(M);
  22     value_init(cb);
  23     Polyhedron_Print(stdout, P_VALUE_FMT, A);
  24     barvinok_count(A, &cb, 100);
  25     value_print(stdout, P_VALUE_FMT, cb);
  26     puts("");
  27     value_clear(cb);
  28     Polyhedron_Free(A);
  29     return 0;
  30 }