polylib: findv.c Source File

- Main Page
- Classes
- Files

- File List
- File Members

# findv.c

Go to the documentation of this file.

    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