44 for( i=0 ; i<np ; i++ )
void AffContraintes(Polyhedron *p)
Matrix * Matrix_Read(void)
void Matrix_Free(Matrix *Mat)
Polyhedron * Disjoint_Domain(Polyhedron *P, int flag, unsigned NbMaxRays)
void Polyhedron_PrintConstraints(FILE *Dst, const char *Format, Polyhedron *Pol)
Polyhedron * Constraints2Polyhedron(Matrix *Constraints, unsigned NbMaxRays)
Given a matrix of constraints ('Constraints'), construct and return a polyhedron.