16 const char **param_name;
20 fprintf(stderr,
"Input error: empty matrix\n");
28 fprintf(stderr,
"Input error: empty matrix\n");
37 if(!PA || PA->
D==NULL) {
38 printf(
"---------------------------------------\n");
39 printf(
"Empty polyhedron\n");
47 printf(
"---------------------------------------\n" );
48 printf(
"Overall rays :\n");
63 for(P=PA->
D;P;P=P->
next) {
66 printf(
"---------------------------------------\n" );
67 printf(
"Domain :\n");
71 printf(
"Vertices :\n");
#define value_zero_p(val)
#define value_print(Dst, fmt, val)
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)
void Param_Polyhedron_Free(Param_Polyhedron *P)
void Print_Vertex(FILE *DST, Matrix *V, const char **param_names)
void Print_Domain(FILE *DST, Polyhedron *D, const char **pname)
Param_Polyhedron * Polyhedron2Param_Domain(Polyhedron *Din, Polyhedron *Cin, int working_space)
struct _Param_Domain * next
#define END_FORALL_PVertex_in_ParamPolyhedron
#define FORALL_PVertex_in_ParamPolyhedron(_V, _D, _P)