polylib: Zpolyhedron.h Source File

- Main Page
- Classes
- Files

# 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_ */