polylib: c2p.c Source File

00001 #define WS 0
00002 
00003 #include <stdlib.h>
00004 #include <polylib/polylib.h>
00005 
00006 int main() {
00007         
00008   Matrix *A;
00009   Polyhedron *P;
00010   
00011   A = Matrix_Read();
00012   if(A->NbColumns < 2) {
00013     printf("Wrong input: %d columns\n", A->NbColumns );
00014     Matrix_Free(A);
00015     exit(1);
00016   }
00017   Matrix_Print(stdout,P_VALUE_FMT,A);
00018   P = Constraints2Polyhedron(A,WS);
00019   Matrix_Free(A);  
00020   Polyhedron_Print(stdout,P_VALUE_FMT,P);
00021   Domain_Free(P);
00022   return 0;  
00023 }