Polylib/findv.c

   1 #include <stdio.h>
   2
   3 #include "arithmetique.h"
   4 #include "polylib.h"
   5
   6 int main()
   7 {
   8         Matrix *a, *b;
   9         Polyhedron *A, *B;
  10         Param_Polyhedron *PA;
  11
  12         a = Matrix_Read();
  13         A = Constraints2Polyhedron(a, 200);
  14         Matrix_Free(a);
  15
  16         b = Matrix_Read();
  17         B = Constraints2Polyhedron(b, 200);
  18         Matrix_Free(b);
  19
  20         PA = Polyhedron2Param_Vertices( A, B, 500 );
  21
  22         Param_Vertices_Print( stdout, PA->V );
  23
  24         Domain_Free(A);
  25         Domain_Free(B);
  26         Param_Polyhedron_Free( PA );
  27
  28         return 0;
  29 }