applications/findv.c

   1 /*
   2     This file is part of PolyLib.
   3
   4     PolyLib is free software: you can redistribute it and/or modify
   5     it under the terms of the GNU General Public License as published by
   6     the Free Software Foundation, either version 3 of the License, or
   7     (at your option) any later version.
   8
   9     PolyLib is distributed in the hope that it will be useful,
  10     but WITHOUT ANY WARRANTY; without even the implied warranty of
  11     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12     GNU General Public License for more details.
  13
  14     You should have received a copy of the GNU General Public License
  15     along with PolyLib.  If not, see <http://www.gnu.org/licenses/>.
  16 */
  17
  18 #include <stdio.h>
  19 #include <stdlib.h>
  20
  21 #include <polylib/polylib.h>
  22
  23 int main() {
  24
  25   Matrix *a, *b;
  26   Polyhedron *A, *B;
  27   Param_Polyhedron *PA;
  28   const char **param_name;
  29
  30   a = Matrix_Read();
  31   A = Constraints2Polyhedron(a,200);
  32   Matrix_Free(a);
  33
  34   b = Matrix_Read();
  35   B = Constraints2Polyhedron(b,200);
  36   Matrix_Free(b);
  37
  38   /* Read the name of the parameters */
  39   param_name = Read_ParamNames(stdin,B->Dimension);
  40   PA = Polyhedron2Param_Vertices(A,B,500);
  41   Param_Vertices_Print(stdout,PA->V,param_name);
  42   Domain_Free(A);
  43   Domain_Free(B);
  44   Param_Polyhedron_Free( PA );
  45   free(param_name);
  46   return 0;
  47 } /* main */
  48
  49
  50