00001 /* 00002 This file is part of PolyLib. 00003 00004 PolyLib is free software: you can redistribute it and/or modify 00005 it under the terms of the GNU General Public License as published by 00006 the Free Software Foundation, either version 3 of the License, or 00007 (at your option) any later version. 00008 00009 PolyLib is distributed in the hope that it will be useful, 00010 but WITHOUT ANY WARRANTY; without even the implied warranty of 00011 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00012 GNU General Public License for more details. 00013 00014 You should have received a copy of the GNU General Public License 00015 along with PolyLib. If not, see <http://www.gnu.org/licenses/>. 00016 */ 00017 00018 #include <stdio.h> 00019 #include <stdlib.h> 00020 00021 #include <polylib/polylib.h> 00022 00023 int main() { 00024 00025 Matrix *a, *b; 00026 Polyhedron *A, *B; 00027 Param_Polyhedron *PA; 00028 const char **param_name; 00029 00030 a = Matrix_Read(); 00031 A = Constraints2Polyhedron(a,200); 00032 Matrix_Free(a); 00033 00034 b = Matrix_Read(); 00035 B = Constraints2Polyhedron(b,200); 00036 Matrix_Free(b); 00037 00038 /* Read the name of the parameters */ 00039 param_name = Read_ParamNames(stdin,B->Dimension); 00040 PA = Polyhedron2Param_Vertices(A,B,500); 00041 Param_Vertices_Print(stdout,PA->V,param_name); 00042 Domain_Free(A); 00043 Domain_Free(B); 00044 Param_Polyhedron_Free( PA ); 00045 free(param_name); 00046 return 0; 00047 } /* main */ 00048 00049 00050
1.6.1