Main Page | Class List | File List | Class Members | File Members

Zpolyhedron.h

Go to the documentation of this file.
00001 #ifndef _Zpolyhedron_h_
00002 #define _Zpolyhedron_h_
00003 
00004 #if defined(__cplusplus)
00005 extern "C" {
00006 #endif
00007 
00008 extern void CanonicalForm(ZPolyhedron *Zpol, ZPolyhedron **Result,
00009                           Matrix **Basis);
00010 extern ZPolyhedron *EmptyZPolyhedron (int dimension);
00011 extern ZPolyhedron *IntegraliseLattice (ZPolyhedron *A);
00012 extern Bool isEmptyZPolyhedron (ZPolyhedron *Zpol);
00013 extern ZPolyhedron *ZDomainDifference (ZPolyhedron *A, ZPolyhedron *B);
00014 extern ZPolyhedron *ZDomainImage ( ZPolyhedron *A, Matrix *Func );
00015 extern Bool ZDomainIncludes ( ZPolyhedron *A, ZPolyhedron *B );
00016 extern ZPolyhedron *ZDomainIntersection ( ZPolyhedron *A, ZPolyhedron *B );
00017 extern ZPolyhedron *ZDomainPreimage ( ZPolyhedron *A, Matrix *Func );
00018 extern void ZDomainPrint(FILE *fp, const char *format, ZPolyhedron *A);
00019 extern ZPolyhedron *ZDomainSimplify ( ZPolyhedron *ZDom );
00020 extern ZPolyhedron *ZDomainUnion ( ZPolyhedron *A, ZPolyhedron *B );
00021 extern ZPolyhedron *ZDomain_Copy ( ZPolyhedron *Head );
00022 extern void ZDomain_Free ( ZPolyhedron *Head );
00023 extern Bool ZPolyhedronIncludes ( ZPolyhedron *A, ZPolyhedron *B );
00024 extern ZPolyhedron *ZPolyhedron_Alloc ( Lattice *Lat, Polyhedron *Poly );
00025 extern ZPolyhedron *SplitZpolyhedron(ZPolyhedron *ZPol, Lattice *B);
00026 
00027 #if defined(__cplusplus)
00028 }
00029 #endif
00030 
00031 #endif /* _Zpolyhedron_h_ */

Generated on Thu Sep 4 15:28:59 2008 for polylib by doxygen 1.3.5