39 printf (
"\nZ3 = Z1 and Z2");
44 printf (
"\nZ4 = image (Z1 by a)");
ZPolyhedron * ZDomainIntersection(ZPolyhedron *A, ZPolyhedron *B)
void ZDomain_Free(ZPolyhedron *Head)
void ZDomainPrint(FILE *fp, const char *format, ZPolyhedron *A)
ZPolyhedron * ZPolyhedron_Alloc(Lattice *Lat, Polyhedron *Poly)
ZPolyhedron * ZDomainImage(ZPolyhedron *A, Matrix *Func)
Matrix * Matrix_Read(void)
void Matrix_Free(Matrix *Mat)
Polyhedron * Constraints2Polyhedron(Matrix *Constraints, unsigned NbMaxRays)
Given a matrix of constraints ('Constraints'), construct and return a polyhedron.
void Domain_Free(Polyhedron *Pol)