00001
00002
00003
00004
00005
00006
00007 #ifndef _polyparam_H_
00008 #define _polyparam_H_
00009 #if __STDC__
00010
00011 extern void Compute_PDomains ( Param_Domain *PD, int nb_domains, int
00012 working_space );
00013 extern Param_Polyhedron *GenParamPolyhedron (Polyhedron *Pol);
00014 extern void Param_Domain_Free (Param_Domain *PD);
00015 extern void Param_Polyhedron_Free ( Param_Polyhedron *P );
00016 extern void Param_Vertices_Free ( Param_Vertices *PV );
00017 extern void Param_Vertices_Print ( FILE *DST, Param_Vertices *PV,
00018 char **param_names );
00019 extern Polyhedron *PDomainDifference ( Polyhedron *Pol1, Polyhedron
00020 *Pol2, unsigned NbMaxRays );
00021 extern Polyhedron *PDomainIntersection ( Polyhedron *Pol1, Polyhedron
00022 *Pol2, unsigned NbMaxRays );
00023 extern Param_Polyhedron *Polyhedron2Param_Domain ( Polyhedron *Din,
00024 Polyhedron *Cin, int
00025 working_space );
00026 extern Param_Polyhedron *Polyhedron2Param_SimplifiedDomain (
00027 Polyhedron **Din, Polyhedron *Cin, int working_space,
00028 Polyhedron **CEq, Matrix **CT );
00029 extern Param_Polyhedron *Polyhedron2Param_Vertices ( Polyhedron *Din,
00030 Polyhedron *Cin, int
00031 working_space );
00032 extern void Print_Domain ( FILE *DST, Polyhedron *D, char **param_names );
00033 extern void Print_Vertex ( FILE *DST, Matrix *V, char **param_names );
00034 extern Matrix *VertexCT( Matrix *V, Matrix *CT );
00035
00036 #else
00037
00038 extern void Compute_PDomains (
00039 );
00040 extern Param_Polyhedron *GenParamPolyhedron ();
00041 extern void Param_Domain_Free ();
00042 extern void Param_Polyhedron_Free ();
00043 extern void Param_Vertices_Free ();
00044 extern void Param_Vertices_Print (
00045 );
00046 extern Polyhedron *PDomainDifference (
00047 );
00048 extern Polyhedron *PDomainIntersection (
00049 );
00050 extern Param_Polyhedron *Polyhedron2Param_Domain (
00051
00052 );
00053 extern Param_Polyhedron *Polyhedron2Param_SimplifiedDomain (
00054
00055 );
00056 extern Param_Polyhedron *Polyhedron2Param_Vertices (
00057
00058 );
00059 extern void Print_Domain ();
00060 extern void Print_Vertex ();
00061 extern Matrix *VertexCT();
00062
00063 #endif
00064 #endif