applications/c2p.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 #define WS 0
  19
  20 #include <stdlib.h>
  21 #include <polylib/polylib.h>
  22
  23 int main() {
  24
  25   Matrix *A;
  26   Polyhedron *P;
  27
  28   A = Matrix_Read();
  29   if(A->NbColumns < 2) {
  30     printf("Wrong input: %d columns\n", A->NbColumns );
  31     Matrix_Free(A);
  32     exit(1);
  33   }
  34   Matrix_Print(stdout,P_VALUE_FMT,A);
  35   P = Constraints2Polyhedron(A,WS);
  36   Matrix_Free(A);
  37   Polyhedron_Print(stdout,P_VALUE_FMT,P);
  38   Domain_Free(P);
  39   return 0;
  40 }