4#if defined(__cplusplus)
15 const char **param_names);
33 Value *det,
unsigned MaxRays);
35#if defined(__cplusplus)
void Param_Vertices_Free(Param_Vertices *PV)
void Print_Domain(FILE *DST, Polyhedron *D, const char **param_names)
Param_Polyhedron * Polyhedron2Param_Vertices(Polyhedron *Din, Polyhedron *Cin, int working_space)
void Param_Polyhedron_Free(Param_Polyhedron *P)
void Param_Domain_Free(Param_Domain *PD)
void Compute_PDomains(Param_Domain *PD, int nb_domains, int working_space)
void Param_Polyhedron_Scale_Integer(Param_Polyhedron *PP, Polyhedron **P, Value *det, unsigned MaxRays)
Matrix * VertexCT(Matrix *V, Matrix *CT)
Param_Polyhedron * GenParamPolyhedron(Polyhedron *Pol, Matrix *Rays)
Param_Polyhedron * Polyhedron2Param_SimplifiedDomain(Polyhedron **Din, Polyhedron *Cin, int working_space, Polyhedron **CEq, Matrix **CT)
void Param_Vertices_Print(FILE *DST, Param_Vertices *PV, const char **param_names)
Polyhedron * PDomainIntersection(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)
void Print_Vertex(FILE *DST, Matrix *V, const char **param_names)
Polyhedron * PDomainDifference(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)
Param_Polyhedron * Polyhedron2Param_Domain(Polyhedron *Din, Polyhedron *Cin, int working_space)