polylib 5.22.8
findv.c
Go to the documentation of this file.
1#include <stdio.h>
2#include <stdlib.h>
3
4#include <polylib/polylib.h>
5
6int main() {
7
8 Matrix *a, *b;
9 Polyhedron *A, *B;
11 const char **param_name;
12
13 a = Matrix_Read();
14 A = Constraints2Polyhedron(a,200);
15 Matrix_Free(a);
16
17 b = Matrix_Read();
18 B = Constraints2Polyhedron(b,200);
19 Matrix_Free(b);
20
21 /* Read the name of the parameters */
22 param_name = Read_ParamNames(stdin,B->Dimension);
23 PA = Polyhedron2Param_Vertices(A,B,500);
24 Param_Vertices_Print(stdout,PA->V,param_name);
25 Domain_Free(A);
26 Domain_Free(B);
28 free(param_name);
29 return 0;
30} /* main */
31
32
33
int main()
Definition: findv.c:6
Matrix * Matrix_Read(void)
Definition: matrix.c:209
void Matrix_Free(Matrix *Mat)
Definition: matrix.c:71
const char ** Read_ParamNames(FILE *in, int m)
Definition: param.c:14
Polyhedron * Constraints2Polyhedron(Matrix *Constraints, unsigned NbMaxRays)
Given a matrix of constraints ('Constraints'), construct and return a polyhedron.
Definition: polyhedron.c:1905
void Domain_Free(Polyhedron *Pol)
Definition: polyhedron.c:1626
Param_Polyhedron * Polyhedron2Param_Vertices(Polyhedron *Din, Polyhedron *Cin, int working_space)
Definition: polyparam.c:1531
void Param_Polyhedron_Free(Param_Polyhedron *P)
Definition: polyparam.c:1875
void Param_Vertices_Print(FILE *DST, Param_Vertices *PV, const char **param_names)
Definition: polyparam.c:1730
Param_Vertices * V
Definition: types.h:143
Definition: types.h:75
unsigned Dimension
Definition: types.h:94