barvinok_enumerate.c

   1 #include <unistd.h>
   2 #include <sys/times.h>
   3 #include <polylib/polylibgmp.h>
   4 #include <util.h>
   5 #include <barvinok.h>
   6
   7 int main()
   8 {
   9     Polyhedron *A, *C;
  10     Matrix *M;
  11     Enumeration *en;
  12     char **param_name;
  13
  14     M = Matrix_Read();
  15     A = Constraints2Polyhedron(M, 600);
  16     Matrix_Free(M);
  17     M = Matrix_Read();
  18     C = Constraints2Polyhedron(M, 600);
  19     Matrix_Free(M);
  20     Polyhedron_Print(stdout, P_VALUE_FMT, A);
  21     Polyhedron_Print(stdout, P_VALUE_FMT, C);
  22     param_name = Read_ParamNames(stdin, C->Dimension);
  23     en = barvinok_enumerate(A, C, 600);
  24     Enumeration_Print(stdout, en, param_name);
  25     Enumeration_Free(en);
  26     Free_ParamNames(param_name, C->Dimension);
  27     Polyhedron_Free(A);
  28     Polyhedron_Free(C);
  29     return 0;
  30 }