polylib: c2p.c Source File

- Main Page
- Classes
- Files

# c2p.c

Go to the documentation of this file.

    00001 #define WS 0
    00002
    00003 #include <stdlib.h>
    00004 #include <polylib/polylib.h>
    00005
    00006 int main() {
    00007
    00008   Matrix *A;
    00009   Polyhedron *P;
    00010
    00011   A = Matrix_Read();
    00012   if(A->NbColumns < 2) {
    00013     printf("Wrong input: %d columns\n", A->NbColumns );
    00014     Matrix_Free(A);
    00015     exit(1);
    00016   }
    00017   Matrix_Print(stdout,P_VALUE_FMT,A);
    00018   P = Constraints2Polyhedron(A,WS);
    00019   Matrix_Free(A);
    00020   Polyhedron_Print(stdout,P_VALUE_FMT,P);
    00021   Domain_Free(P);
    00022   return 0;
    00023 }