Main functions of Zpolyhedron.c

Bool isEmptyZPolyhedron

(ZPolyhedron *Zpol): Returns True if 'Zpol' is empty, False otherwise

ZPolyhedron * ZPolyhedron_Alloc

(Lattice *Lat, Polyhedron *Poly): allocate space for a Zpolyhedron structure

void ZDomain_Free

(ZPolyhedron *Head): free the memory used by the Z-domain 'Head'

static void ZPolyhedron_Free

(ZPolyhedron *Zpol): free the memory used by the Z-polyhderon 'Zpol'

ZPolyhedron * ZDomain_Copy

(ZPolyhedron *Head): copy a Z-Domain

static ZPolyhedron * ZPolyhedron_Copy

(ZPolyhedron *A): return a copy of the Z-polyhedron 'A'

static ZPolyhedron * AddZPolytoZDomain

(ZPolyhedron *A, ZPolyhedron *Head): add a Z-polyhedron to a Z-domain performing a check of inclusion

ZPolyhedron * EmptyZPolyhedron

(int dimension): return the empty Z-polyhedron

Bool ZDomainIncludes

(ZPolyhedron *A, ZPolyhedron *B): test the inclusion of two Z-Domains

Bool ZPolyhedronIncludes

(ZPolyhedron *A, ZPolyhedron *B) : test the inclusion of two Z-polyhedra

void ZDomainPrint

(FILE *fp, char *format, ZPolyhedron *A): print the contents of a Z-domain 'A'

static void ZPolyhedronPrint

(FILE *fp, char *format, ZPolyhedron *A): print the contents of a Z-Polyhedron 'A'

ZPolyhedron * ZDomainUnion

(ZPolyhedron *A, ZPolyhedron *B): return the union of two Z-polyhedra domain

ZPolyhedron * ZDomainIntersection

(ZPolyhedron *A, ZPolyhedron *B): return the intersection of two Z-polyhedra domain

ZPolyhedron * ZDomainDifference

(ZPolyhedron *A, ZPolyhedron *B): return the Z-domain difference of the domains 'A' and 'B'

ZPolyhedron * ZDomainImage

(ZPolyhedron *A, Matrix *Func): find the image of a Z-domain

ZPolyhedron * ZDomainPreimage

(ZPolyhedron *A, Matrix *Func): find the preimage of a Z-domain

ZPolyhedron * ZPolyhedronIntersection

(ZPolyhedron *A, ZPolyhedron *B): compute the Z-polyhedra intersection

static ZPolyhedron * ZPolyhedronDifference

(ZPolyhedron *A, ZPolyhedron *B): return the difference of the two Z-polyhedra

static ZPolyhedron * ZPolyhedronImage

(ZPolyhedron *ZPol, Matrix *Func): return the image of a Z-polyhedron

static ZPolyhedron * ZPolyhedronPreimage

(ZPolyhedron *Zpol, Matrix *G): return the preimage of a Z-polyhedron

void CanonicalForm

(ZPolyhedron *Zpol, ZPolyhedron **Result, Matrix **Basis): find the canonical form for a Zpolyhedron

ZPolyhedron * IntegraliseLattice

(ZPolyhedron *A) : transform a Zpolyhedron with a non integral Lattice

ZPolyhedron * ZDomainSimplify

(ZPolyhedron *ZDom) : return the simplified representation of the Z-domain 'ZDom'