next up previous contents
Next: Parametrized polyhedra - Ehrhart Up: Z-Polyhedra Previous: Theoretical background   Contents

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'

next up previous contents
Next: Parametrized polyhedra - Ehrhart Up: Z-Polyhedra Previous: Theoretical background   Contents
Sorin Olaru 2002-04-24