Main Page | Class List | File List | Class Members | File Members

findv.c

Go to the documentation of this file.
00001 #include <stdio.h>
00002 #include <stdlib.h>
00003 
00004 #include <polylib/polylib.h>
00005 
00006 int main() {
00007 
00008   Matrix *a, *b;
00009   Polyhedron *A, *B;
00010   Param_Polyhedron *PA;
00011   char **param_name;
00012   
00013   a = Matrix_Read();
00014   A = Constraints2Polyhedron(a,200);
00015   Matrix_Free(a);
00016   
00017   b = Matrix_Read();
00018   B = Constraints2Polyhedron(b,200);
00019   Matrix_Free(b);
00020   
00021   /* Read the name of the parameters */
00022   param_name = Read_ParamNames(stdin,B->Dimension);  
00023   PA = Polyhedron2Param_Vertices(A,B,500);  
00024   Param_Vertices_Print(stdout,PA->V,param_name);
00025   Domain_Free(A);
00026   Domain_Free(B);
00027   Param_Polyhedron_Free( PA );
00028   free(param_name);
00029   return 0;
00030 } /* main */
00031 
00032 
00033 

Generated on Mon Sep 12 14:48:29 2005 for polylib by doxygen 1.3.5