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 const 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
1.5.6