4#if defined(__cplusplus)
27#if defined(__cplusplus)
ZPolyhedron * ZDomainIntersection(ZPolyhedron *A, ZPolyhedron *B)
ZPolyhedron * ZDomainSimplify(ZPolyhedron *ZDom)
Bool ZDomainIncludes(ZPolyhedron *A, ZPolyhedron *B)
void ZDomain_Free(ZPolyhedron *Head)
ZPolyhedron * SplitZpolyhedron(ZPolyhedron *ZPol, Lattice *B)
ZPolyhedron * ZDomainDifference(ZPolyhedron *A, ZPolyhedron *B)
void ZDomainPrint(FILE *fp, const char *format, ZPolyhedron *A)
ZPolyhedron * ZPolyhedron_Alloc(Lattice *Lat, Polyhedron *Poly)
ZPolyhedron * ZDomain_Copy(ZPolyhedron *Head)
Bool isEmptyZPolyhedron(ZPolyhedron *Zpol)
ZPolyhedron * IntegraliseLattice(ZPolyhedron *A)
ZPolyhedron * EmptyZPolyhedron(int dimension)
ZPolyhedron * ZDomainImage(ZPolyhedron *A, Matrix *Func)
ZPolyhedron * ZDomainPreimage(ZPolyhedron *A, Matrix *Func)
ZPolyhedron * ZDomainUnion(ZPolyhedron *A, ZPolyhedron *B)
void CanonicalForm(ZPolyhedron *Zpol, ZPolyhedron **Result, Matrix **Basis)
Bool ZPolyhedronIncludes(ZPolyhedron *A, ZPolyhedron *B)