polylib 5.22.8
c2p.c
Go to the documentation of this file.
1#define WS 0
2
3#include <stdlib.h>
4#include <polylib/polylib.h>
5
6int main() {
7
8 Matrix *A;
9 Polyhedron *P;
10
11 A = Matrix_Read();
12 if(A->NbColumns < 2) {
13 printf("Wrong input: %d columns\n", A->NbColumns );
14 Matrix_Free(A);
15 exit(1);
16 }
17 Matrix_Print(stdout,P_VALUE_FMT,A);
19 Matrix_Free(A);
21 Domain_Free(P);
22 return 0;
23}
#define WS
Definition: c2p.c:1
int main()
Definition: c2p.c:6
Matrix * Matrix_Read(void)
Definition: matrix.c:209
void Matrix_Print(FILE *Dst, const char *Format, Matrix *Mat)
Definition: matrix.c:115
void Matrix_Free(Matrix *Mat)
Definition: matrix.c:71
Polyhedron * Constraints2Polyhedron(Matrix *Constraints, unsigned NbMaxRays)
Given a matrix of constraints ('Constraints'), construct and return a polyhedron.
Definition: polyhedron.c:1905
void Polyhedron_Print(FILE *Dst, const char *Format, const Polyhedron *Pol)
Definition: polyhedron.c:1639
void Domain_Free(Polyhedron *Pol)
Definition: polyhedron.c:1626
Definition: types.h:75
unsigned NbColumns
Definition: types.h:76
#define P_VALUE_FMT
Definition: types.h:39