polylib 5.22.8
r2p.c
Go to the documentation of this file.
1/* Rays 2 Polyhedron
2 */
3
4#define WS 0
5
6#include <stdio.h>
7#include <stdlib.h>
8#include <polylib/polylib.h>
9
10int main() {
11
12 Matrix *R;
13 Polyhedron *P;
14
15 R = Matrix_Read();
16 if(R->NbColumns < 2) {
17 printf("Wrong input: %d columns\n", R->NbColumns );
18 Matrix_Free(R);
19 exit(1);
20 }
21 P = Rays2Polyhedron(R,WS);
22 Matrix_Free(R);
24 Domain_Free(P);
25 return 0;
26}
27
Matrix * Matrix_Read(void)
Definition: matrix.c:209
void Matrix_Free(Matrix *Mat)
Definition: matrix.c:71
Polyhedron * Rays2Polyhedron(Matrix *Ray, unsigned NbMaxConstrs)
Given a matrix of rays 'Ray', create and return a polyhedron.
Definition: polyhedron.c:2087
void Polyhedron_Print(FILE *Dst, const char *Format, const Polyhedron *Pol)
Definition: polyhedron.c:1639
void Domain_Free(Polyhedron *Pol)
Definition: polyhedron.c:1626
#define WS
Definition: r2p.c:4
int main()
Definition: r2p.c:10
Definition: types.h:75
unsigned NbColumns
Definition: types.h:76
#define P_VALUE_FMT
Definition: types.h:39