Main Page   Compound List   File List   Compound Members   File Members  

Zpolyhedron.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: Wed Nov  3 13:25:01 1999
00006  */
00007 
00008 #ifndef _Zpolyhedron_h_
00009 #define _Zpolyhedron_h_
00010 #if __STDC__
00011 
00012 extern void CanonicalForm(ZPolyhedron *Zpol, ZPolyhedron **Result,
00013                           Matrix **Basis);
00014 extern ZPolyhedron *EmptyZPolyhedron (int dimension);
00015 extern ZPolyhedron *IntegraliseLattice (ZPolyhedron *A);
00016 extern Bool isEmptyZPolyhedron (ZPolyhedron *Zpol);
00017 extern ZPolyhedron *ZDomainDifference (ZPolyhedron *A, ZPolyhedron *B);
00018 extern ZPolyhedron *ZDomainImage ( ZPolyhedron *A, Matrix *Func );
00019 extern Bool ZDomainIncludes ( ZPolyhedron *A, ZPolyhedron *B );
00020 extern ZPolyhedron *ZDomainIntersection ( ZPolyhedron *A, ZPolyhedron *B );
00021 extern ZPolyhedron *ZDomainPreimage ( ZPolyhedron *A, Matrix *Func );
00022 extern void ZDomainPrint ( FILE *fp, char *format, ZPolyhedron *A );
00023 extern ZPolyhedron *ZDomainSimplify ( ZPolyhedron *ZDom );
00024 extern ZPolyhedron *ZDomainUnion ( ZPolyhedron *A, ZPolyhedron *B );
00025 extern ZPolyhedron *ZDomain_Copy ( ZPolyhedron *Head );
00026 extern void ZDomain_Free ( ZPolyhedron *Head );
00027 extern Bool ZPolyhedronIncludes ( ZPolyhedron *A, ZPolyhedron *B );
00028 extern ZPolyhedron *ZPolyhedron_Alloc ( Lattice *Lat, Polyhedron *Poly );
00029 extern ZPolyhedron *SplitZpolyhedron(/*ZPolyhedron *ZPol, Lattice *B */);
00030 
00031 
00032 #else /* __STDC__ */
00033 
00034 extern void CanonicalForm (/* ZPolyhedron *Zpol, ZPolyhedron **Result,
00035                             Matrix **Basis */);
00036 extern ZPolyhedron *EmptyZPolyhedron (/* int dimension */);
00037 extern ZPolyhedron *IntegraliseLattice (/* ZPolyhedron *A */);
00038 extern Bool isEmptyZPolyhedron (/* ZPolyhedron *Zpol */);
00039 extern ZPolyhedron *ZDomainDifference (/* ZPolyhedron *A, ZPolyhedron *B */);
00040 extern ZPolyhedron *ZDomainImage (/* ZPolyhedron *A, Matrix *Func */);
00041 extern Bool ZDomainIncludes (/* ZPolyhedron *A, ZPolyhedron *B */);
00042 extern ZPolyhedron *ZDomainIntersection (/* ZPolyhedron *A, ZPolyhedron
00043                                           *B */);
00044 extern ZPolyhedron *ZDomainPreimage (/* ZPolyhedron *A, Matrix *Func */);
00045 extern void ZDomainPrint (/* FILE *fp, char *format, ZPolyhedron *A */);
00046 extern ZPolyhedron *ZDomainSimplify (/* ZPolyhedron *ZDom */);
00047 extern ZPolyhedron *ZDomainUnion (/* ZPolyhedron *A, ZPolyhedron *B */);
00048 extern ZPolyhedron *ZDomain_Copy (/* ZPolyhedron *Head */);
00049 extern void ZDomain_Free (/* ZPolyhedron *Head */);
00050 extern Bool ZPolyhedronIncludes (/* ZPolyhedron *A, ZPolyhedron *B */);
00051 extern ZPolyhedron *ZPolyhedron_Alloc (/* Lattice *Lat, Polyhedron *Poly */);
00052 extern ZPolyhedron *SplitZpolyhedron(/*ZPolyhedron *ZPol, Lattice *B */);
00053 
00054 #endif /* __STDC__ */
00055 #endif /* _Zpolyhedron_h_ */

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