polylib 5.22.8
polyparam.h
Go to the documentation of this file.
1#ifndef _polyparam_H_
2#define _polyparam_H_
3
4#if defined(__cplusplus)
5extern "C" {
6#endif
7
8extern void Compute_PDomains(Param_Domain *PD, int nb_domains,
9 int working_space);
11extern void Param_Domain_Free(Param_Domain *PD);
13extern void Param_Vertices_Free(Param_Vertices *PV);
14extern void Param_Vertices_Print(FILE *DST, Param_Vertices *PV,
15 const char **param_names);
17 unsigned NbMaxRays);
19 unsigned NbMaxRays);
20extern Param_Polyhedron *
21Polyhedron2Param_Domain(Polyhedron *Din, Polyhedron *Cin, int working_space);
23 Polyhedron *Cin,
24 int working_space,
25 Polyhedron **CEq,
26 Matrix **CT);
27extern Param_Polyhedron *
28Polyhedron2Param_Vertices(Polyhedron *Din, Polyhedron *Cin, int working_space);
29extern void Print_Domain(FILE *DST, Polyhedron *D, const char **param_names);
30extern void Print_Vertex(FILE *DST, Matrix *V, const char **param_names);
31extern Matrix *VertexCT(Matrix *V, Matrix *CT);
33 Value *det, unsigned MaxRays);
34
35#if defined(__cplusplus)
36}
37#endif
38
39#endif /* _polyparam_H_ */
void Param_Vertices_Free(Param_Vertices *PV)
Definition: polyparam.c:1563
void Print_Domain(FILE *DST, Polyhedron *D, const char **param_names)
Definition: polyparam.c:1680
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_Domain_Free(Param_Domain *PD)
Definition: polyparam.c:1858
void Compute_PDomains(Param_Domain *PD, int nb_domains, int working_space)
Definition: polyparam.c:1351
void Param_Polyhedron_Scale_Integer(Param_Polyhedron *PP, Polyhedron **P, Value *det, unsigned MaxRays)
Definition: polyparam.c:1892
Matrix * VertexCT(Matrix *V, Matrix *CT)
Definition: polyparam.c:1651
Param_Polyhedron * GenParamPolyhedron(Polyhedron *Pol, Matrix *Rays)
Definition: polyparam.c:793
Param_Polyhedron * Polyhedron2Param_SimplifiedDomain(Polyhedron **Din, Polyhedron *Cin, int working_space, Polyhedron **CEq, Matrix **CT)
Definition: polyparam.c:1804
void Param_Vertices_Print(FILE *DST, Param_Vertices *PV, const char **param_names)
Definition: polyparam.c:1730
Polyhedron * PDomainIntersection(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)
Definition: polyparam.c:41
void Print_Vertex(FILE *DST, Matrix *V, const char **param_names)
Definition: polyparam.c:1583
Polyhedron * PDomainDifference(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)
Definition: polyparam.c:84
Param_Polyhedron * Polyhedron2Param_Domain(Polyhedron *Din, Polyhedron *Cin, int working_space)
Definition: polyparam.c:1755
Definition: types.h:75