Main Page   Compound List   File List   Compound Members   File Members  

polyhedron.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:20 1998
00006  */
00007 #ifndef _polyhedron_H_
00008 #define _polyhedron_H_
00009 #if __STDC__
00010 
00011 extern Polyhedron *AddConstraints(Value *Con,unsigned NbConstraints,
00012                                    Polyhedron *Pol,unsigned NbMaxRays );
00013 extern Polyhedron *AddPolyToDomain(Polyhedron *Pol,Polyhedron *PolDomain);
00014 extern Polyhedron *AddRays (Value *Ray2,unsigned NbRay2,Polyhedron
00015                             *Pol1,unsigned NbMaxRays);
00016 extern Polyhedron *align_context(Polyhedron *Pol,int align_dimension,
00017                                   int NbMaxRays);
00018 extern Polyhedron *Constraints2Polyhedron(Matrix *Constraints, unsigned
00019                                           NbMaxRays);
00020 extern Polyhedron *Disjoint_Domain( Polyhedron *Pol, int flag, unsigned
00021                NbMaxRays );
00022 extern Polyhedron *DomainAddConstraints(Polyhedron *Pol,Matrix *Mat,
00023                                         unsigned NbMaxRays);
00024 extern Polyhedron *DomainAddRays(Polyhedron *Pol,Matrix *Ray,
00025                                  unsigned NbMaxConstrs);
00026 extern Polyhedron *DomainConvex(Polyhedron *Pol,unsigned NbMaxConstrs);
00027 extern Interval *DomainCost(Polyhedron *Pol,Value *Cost);
00028 extern Polyhedron *DomainDifference(Polyhedron *Pol1,Polyhedron *Pol2,
00029                                     unsigned NbMaxRays);
00030 extern Polyhedron *DomainImage(Polyhedron *Pol,Matrix *Func,unsigned
00031                                NbMaxConstrs);
00032 extern Polyhedron *DomainIntersection(Polyhedron *Pol1,Polyhedron
00033                                       *Pol2, unsigned NbMaxRays);
00034 extern Polyhedron *DomainPreimage(Polyhedron *Pol,Matrix *Func,
00035                                   unsigned NbMaxRays);
00036 extern Polyhedron *DomainSimplify(Polyhedron *Pol1, Polyhedron *Pol2,
00037                                   unsigned NbMaxRays);
00038 extern Polyhedron *Stras_DomainSimplify(Polyhedron *Pol1, Polyhedron *Pol2,
00039                                         unsigned NbMaxRays);
00040 extern Polyhedron *DomainUnion(Polyhedron *Pol1,Polyhedron *Pol2,
00041                                unsigned NbMaxRays);
00042 extern Polyhedron *Domain_Copy(Polyhedron *Pol);
00043 extern void Domain_Free (Polyhedron *Pol);
00044 extern Polyhedron *Empty_Polyhedron(unsigned Dimension);
00045 extern int Gauss(Matrix *Mat,int NbEq,int Dimension);
00046 extern int lower_upper_bounds(int pos,Polyhedron *P,Value *context,
00047                               Value *LBp,Value *UBp);
00048 extern Matrix *Polyhedron2Constraints(Polyhedron *Pol);
00049 extern Matrix *Polyhedron2Rays(Polyhedron *Pol);
00050 extern int PolyhedronIncludes(Polyhedron *Pol1,Polyhedron *Pol2);
00051 extern Polyhedron* Polyhedron_Alloc(unsigned Dimension,unsigned
00052                                     NbConstraints,unsigned NbRays);
00053 extern Polyhedron *Polyhedron_Copy(Polyhedron *Pol);
00054 extern void Polyhedron_Free(Polyhedron *Pol);
00055 extern Polyhedron *Polyhedron_Image(Polyhedron *Pol,Matrix *Func,
00056                                     unsigned NbMaxConstrs);
00057 extern Polyhedron *Polyhedron_Preimage(Polyhedron *Pol,Matrix *Func,
00058                                        unsigned NbMaxRays);
00059 extern void Polyhedron_Print(FILE *Dst,char *Format,Polyhedron *Pol);
00060 extern void Polyhedron_PrintConstraints(FILE *Dst,char *Format,
00061                 Polyhedron *Pol);
00062 extern Polyhedron *Polyhedron_Scan(Polyhedron *D,Polyhedron *C,
00063                                    unsigned MAXRAYS);
00064 extern void PolyPrint(Polyhedron *Pol);
00065 extern Polyhedron *Rays2Polyhedron(Matrix *Ray,unsigned NbMaxConstrs);
00066 extern Polyhedron *SubConstraint(Value *Con,Polyhedron *Pol,
00067                                  unsigned NbMaxRays, int Pass);
00068 extern Polyhedron *Universe_Polyhedron (unsigned Dimension);
00069 
00070 #else /* __STDC__ */
00071 
00072 extern Polyhedron *AddConstraints(/*Value *Con,unsigned NbConstraints,
00073                                    Polyhedron *Pol,unsigned NbMaxRays */);
00074 extern Polyhedron *AddPolyToDomain(/*Polyhedron *Pol,Polyhedron *PolDomain*/);
00075 extern Polyhedron *AddRays (/*Value *Ray2,unsigned NbRay2,Polyhedron
00076                             *Pol1,unsigned NbMaxRays*/);
00077 extern Polyhedron *align_context(/*Polyhedron *Pol,int align_dimension,
00078                                   int NbMaxRays*/);
00079 extern Polyhedron *Constraints2Polyhedron(/*Matrix *Constraints, unsigned
00080                                           NbMaxRays*/);
00081 extern Polyhedron *Disjoint_Domain(/* Polyhedron *Pol, int flag, unsigned NbMaxRays */);
00082 extern Polyhedron *DomainAddConstraints(/*Polyhedron *Pol,Matrix *Mat,
00083                                         unsigned NbMaxRays*/);
00084 extern Polyhedron *DomainAddRays(/*Polyhedron *Pol,Matrix *Ray,
00085                                  unsigned NbMaxConstrs*/);
00086 extern Polyhedron *DomainConvex(/*Polyhedron *Pol,unsigned NbMaxConstrs*/);
00087 extern Interval *DomainCost(/*Polyhedron *Pol,Value *Cost*/);
00088 extern Polyhedron *DomainDifference(/*Polyhedron *Pol1,Polyhedron *Pol2,
00089                                     unsigned NbMaxRays*/);
00090 extern Polyhedron *DomainImage(/*Polyhedron *Pol,Matrix *Func,unsigned
00091                                NbMaxConstrs*/);
00092 extern Polyhedron *DomainIntersection(/*Polyhedron *Pol1,Polyhedron
00093                                       *Pol2, unsigned NbMaxRays*/);
00094 extern Polyhedron *DomainPreimage(/*Polyhedron *Pol,Matrix *Func,
00095                                   unsigned NbMaxRays*/);
00096 extern Polyhedron *DomainSimplify(/*Polyhedron *Pol1, Polyhedron *Pol2,
00097                                   unsigned NbMaxRays*/);
00098 extern Polyhedron *DomainUnion(/*Polyhedron *Pol1,Polyhedron *Pol2,
00099                                unsigned NbMaxRays*/);
00100 extern Polyhedron *Domain_Copy(/*Polyhedron *Pol*/);
00101 extern void Domain_Free (/*Polyhedron *Pol*/);
00102 extern Polyhedron *Empty_Polyhedron(/*unsigned Dimension*/);
00103 extern int Gauss(/*Matrix *Mat,int NbEq,int Dimension*/);
00104 extern int lower_upper_bounds(/*int pos,Polyhedron *P,Value *context,
00105                               Value *LBp,Value *UBp*/);
00106 extern Matrix *Polyhedron2Constraints(/*Polyhedron *Pol*/);
00107 extern Matrix *Polyhedron2Rays(/*Polyhedron *Pol*/);
00108 extern int PolyhedronIncludes(/*Polyhedron *Pol1,Polyhedron *Pol2*/);
00109 extern Polyhedron* Polyhedron_Alloc(/*unsigned Dimension,unsigned
00110                                     NbConstraints,unsigned NbRays*/);
00111 extern Polyhedron *Polyhedron_Copy(/*Polyhedron *Pol*/);
00112 extern void Polyhedron_Free(/*Polyhedron *Pol*/);
00113 extern Polyhedron *Polyhedron_Image(/*Polyhedron *Pol,Matrix *Func,
00114                                     unsigned NbMaxConstrs*/);
00115 extern Polyhedron *Polyhedron_Preimage(/*Polyhedron *Pol,Matrix *Func,
00116                                        unsigned NbMaxRays*/);
00117 extern void Polyhedron_Print(/*FILE *Dst,char *Format,Polyhedron *Pol*/);
00118 extern void Polyhedron_PrintConstraints(/*FILE *Dst,char *Format,
00119                 Polyhedron *Pol*/);
00120 extern Polyhedron *Polyhedron_Scan(/*Polyhedron *D,Polyhedron *C,
00121                                    unsigned MAXRAYS*/);
00122 extern void PolyPrint(/*Polyhedron *Pol*/);
00123 extern Polyhedron *Rays2Polyhedron(/*Matrix *Ray,unsigned NbMaxConstrs*/);
00124 extern Polyhedron *SubConstraint(/*Value *Con,Polyhedron *Pol,
00125                                  unsigned NbMaxRays, int Pass*/);
00126 extern Polyhedron *Universe_Polyhedron (/*unsigned Dimension*/);
00127 
00128 
00129 #endif /* __STDC__ */
00130 #endif /* _polyhedron_H_ */

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