11 const char **param_name;
Matrix * Matrix_Read(void)
void Matrix_Free(Matrix *Mat)
const char ** Read_ParamNames(FILE *in, int m)
Polyhedron * Constraints2Polyhedron(Matrix *Constraints, unsigned NbMaxRays)
Given a matrix of constraints ('Constraints'), construct and return a polyhedron.
void Domain_Free(Polyhedron *Pol)
Param_Polyhedron * Polyhedron2Param_Vertices(Polyhedron *Din, Polyhedron *Cin, int working_space)
void Param_Polyhedron_Free(Param_Polyhedron *P)
void Param_Vertices_Print(FILE *DST, Param_Vertices *PV, const char **param_names)