Main Page   Compound List   File List   Compound Members   File Members  

polyparam.h

Go to the documentation of this file.
00001 /*
00002  *   This file was automatically generated by version 1.7 of cextract.
00003  *   Manual editing not recommended.
00004  *
00005  *   Created: Mon Mar 30 11:33:21 1998
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 /* __STDC__ */
00037 
00038 extern void Compute_PDomains (/* Param_Domain *PD, int nb_domains, int
00039                                working_space */);
00040 extern Param_Polyhedron *GenParamPolyhedron (/* Polyhedron *Pol */);
00041 extern void Param_Domain_Free (/* Param_Domain *PD */);
00042 extern void Param_Polyhedron_Free (/* Param_Polyhedron *P */);
00043 extern void Param_Vertices_Free (/* Param_Vertices *PV */);
00044 extern void Param_Vertices_Print (/* FILE *DST, Param_Vertices *PV,
00045                                   char **param_names */);
00046 extern Polyhedron *PDomainDifference (/* Polyhedron *Pol1, Polyhedron
00047                                        *Pol2, unsigned NbMaxRays */);
00048 extern Polyhedron *PDomainIntersection (/* Polyhedron *Pol1, Polyhedron
00049                                          *Pol2, unsigned NbMaxRays */);
00050 extern Param_Polyhedron *Polyhedron2Param_Domain (/* Polyhedron *Din,
00051                                                    Polyhedron *Cin, int
00052                                                    working_space */);
00053 extern Param_Polyhedron *Polyhedron2Param_SimplifiedDomain (/*
00054    Polyhedron **Din, Polyhedron *Cin, int working_space,
00055    Polyhedron **CEq, Matrix **CT */);
00056 extern Param_Polyhedron *Polyhedron2Param_Vertices (/* Polyhedron *Din,
00057                                                      Polyhedron *Cin, int
00058                                                      working_space */);
00059 extern void Print_Domain (/* FILE *DST, Polyhedron *D, char **param_names */);
00060 extern void Print_Vertex (/* FILE *DST, Matrix *V, char **param_names */);
00061 extern Matrix *VertexCT(/* Matrix *V, Matrix *CT */);
00062 
00063 #endif /* __STDC__ */
00064 #endif /* _polyparam_H_ */

Generated on Mon Mar 15 10:59:51 2004 for polylib by doxygen1.2.18