*Polyhedron**Polyhedron_Alloc: allocate memory space for polyhedron.*(unsigned Dimension, unsigned NbConstraints, unsigned NbRays)**void*Polyhedron_Free*(Polyhedron *Pol)*- :
free the memory space occupied by the single polyhedron.
*void*Domain_Free*(Polyhedron *Pol)*- :
free the memory space occupied by the domain.
*void*Polyhedron_Print*(FILE *Dst,char *Format,Polyhedron *Pol)*- :
print the contents of a polyhedron.
*Polyhedron **Empty_Polyhedron*(unsigned Dimension)*- : create and return an empty polyhedron of non-homogenous dimension 'Dimension'.
*Polyhedron **Universe_Polyhedron*(unsigned Dimension)*- :
create and return a universe polyhedron of non-homogenous
dimension 'Dimension'.
*Polyhedron **Constraints2Polyhedron: given a matrix of constraints 'Constraints', construct and return a polyhedron using Chernikova's algorithm.*(Matrix *Constraints,unsigned NbMaxRays)**Matrix **Polyhedron2Constraints*(Polyhedron *Pol)*- :
given a polyhedron, extract its matrix of constraints.
*Polyhedron **Rays2Polyhedron*(Matrix *Ray,unsigned NbMaxConstrs)*- :
given a matrix of rays 'Ray', create and return a polyhedron
using Chernikova's algorithm.
*Matrix **Polyhedron2Rays*(Polyhedron *Pol)*- :
given a polyhedron 'Pol', extract its matrix of rays.
*Polyhedron **AddConstraints: add new constraints to a polyhedron.*(Value *Con, unsigned NbConstraints, Polyhedron *Pol, unsigned NbMaxRays)**Polyhedron **DomainAddConstraints: add constraints to each polyhedron in a polyhedral domain.*(Polyhedron *Pol, Matrix *Mat, unsigned NbMaxRays)**Polyhedron **AddRays: add rays to a polyhedron.*(Value *AddedRays, unsigned NbAddedRays, Polyhedron *Pol, unsigned NbMaxConstrs)**Polyhedron **DomainAddRays: add rays to each polyhedron in a polyhedral domain.*(Polyhedron *Pol, Matrix *Ray, unsigned NbMaxConstrs)**int*PolyhedronIncludes: return 1 if 'Pol1' contains 'Pol2', 0 otherwise.*(Polyhedron *Pol1, Polyhedron *Pol2)**Polyhedron **AddPolyToDomain: add Polyhedron 'Pol' to polyhedral domain 'PolDomain'.*(Polyhedron *Pol, Polyhedron *PolDomain)**Polyhedron **DomainIntersection: return the intersection of two polyhedral domains 'Pol1' an'Pol2'.*(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)**Polyhedron **Polyhedron_Copy: create a copy of a polyhedron.*(Polyhedron *Pol)**Polyhedron **Domain_Copy: create a copy of a polyhedral domain.*(Polyhedron *Pol)**Polyhedron **DomainSimplify: find the largest domain set that can simplify intersection.*(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)**Polyhedron **DomainUnion: return the union of two polyhedral domains 'Pol1' and 'Pol2'.*(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)**Polyhedron **DomainConvex: concatenate the lists of rays and lines of the polyhedra of a domain into one combined list.*(Polyhedron *Pol, unsigned NbMaxConstrs)**Polyhedron **DomainDifference: create a new polyhedral domain which is the difference of two domains.*(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)**Polyhedron **Polyhedron_Image: compute the image of a polyhedron.*(Polyhedron *Pol, Matrix *Func, unsigned NbMaxConstrs)**Polyhedron **Polyhedron_Preimage: compute the preimage of a polyhedron.*(Polyhedron *Pol, Matrix *Func, unsigned NbMaxRays)*