Zpolyhedron.h File Reference

Go to the source code of this file.

Functions
void	CanonicalForm ()
ZPolyhedron *	EmptyZPolyhedron ()
ZPolyhedron *	IntegraliseLattice ()
Bool	isEmptyZPolyhedron ()
ZPolyhedron *	ZDomainDifference ()
ZPolyhedron *	ZDomainImage ()
Bool	ZDomainIncludes ()
ZPolyhedron *	ZDomainIntersection ()
ZPolyhedron *	ZDomainPreimage ()
void	ZDomainPrint ()
ZPolyhedron *	ZDomainSimplify ()
ZPolyhedron *	ZDomainUnion ()
ZPolyhedron *	ZDomain_Copy ()
void	ZDomain_Free ()
Bool	ZPolyhedronIncludes ()
ZPolyhedron *	ZPolyhedron_Alloc ()
ZPolyhedron *	SplitZpolyhedron ()

---

Function Documentation

void CanonicalForm (   )

Referenced by AddZPolytoZDomain(), and main().

ZPolyhedron* EmptyZPolyhedron (   )

Referenced by IntegraliseLattice(), main(), ZDomainDifference(), ZDomainImage(), ZDomainIntersection(), ZDomainPreimage(), ZDomainSimplify(), ZPolyhedronDifference(), ZPolyhedronIntersection(), and ZPolyhedronPreimage().

ZPolyhedron* IntegraliseLattice (   )

Referenced by ZPolyhedron_Alloc().

Bool isEmptyZPolyhedron (   )

Referenced by AddZPoly2ZDomain(), AddZPolytoZDomain(), CanonicalForm(), main(), ZDomainIncludes(), and ZPolyhedronDifference().

ZPolyhedron* SplitZpolyhedron (   )

Referenced by main().

ZPolyhedron* ZDomain_Copy (   )

Referenced by CanonicalForm(), ZDomain_Copy(), and ZPolyhedronDifference().

void ZDomain_Free (   )

Referenced by AddZPoly2ZDomain(), AddZPolytoZDomain(), main(), ZDomain_Free(), ZDomainDifference(), and ZDomainIncludes().

ZPolyhedron* ZDomainDifference (   )

Referenced by main(), and ZDomainIncludes().

ZPolyhedron* ZDomainImage (   )

Referenced by main().

Bool ZDomainIncludes (   )

ZPolyhedron* ZDomainIntersection (   )

Referenced by main().

ZPolyhedron* ZDomainPreimage (   )

Referenced by main().

void ZDomainPrint (   )

Referenced by main(), and ZDomainPrint().

ZPolyhedron* ZDomainSimplify (   )

Referenced by main().

ZPolyhedron* ZDomainUnion (   )

Referenced by main(), and ZDomainSimplify().

ZPolyhedron* ZPolyhedron_Alloc (   )

Referenced by AddZPolytoZDomain(), CanonicalForm(), EmptyZPolyhedron(), IntegraliseLattice(), main(), SplitZpolyhedron(), ZDomainSimplify(), ZPolyhedron_Copy(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIntersection(), and ZPolyhedronPreimage().

Bool ZPolyhedronIncludes (   )

Referenced by AddZPolytoZDomain(), and main().

---