polylib: findv.c Source File

- Main Page
- Classes
- Files

# 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   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