polylib: polyparam.h Source File

- Main Page
- Classes
- Files

# polyparam.h

Go to the documentation of this file.

    00001 #ifndef _polyparam_H_
    00002 #define _polyparam_H_
    00003
    00004 #if defined(__cplusplus)
    00005 extern "C" {
    00006 #endif
    00007
    00008 extern void Compute_PDomains ( Param_Domain *PD, int nb_domains, int
    00009                                working_space );
    00010 extern Param_Polyhedron *GenParamPolyhedron(Polyhedron *Pol, Matrix *Rays);
    00011 extern void Param_Domain_Free (Param_Domain *PD);
    00012 extern void Param_Polyhedron_Free ( Param_Polyhedron *P );
    00013 extern void Param_Vertices_Free ( Param_Vertices *PV );
    00014 extern void Param_Vertices_Print(FILE *DST, Param_Vertices *PV,
    00015                                    const char **param_names);
    00016 extern Polyhedron *PDomainDifference ( Polyhedron *Pol1, Polyhedron
    00017                                        *Pol2, unsigned NbMaxRays );
    00018 extern Polyhedron *PDomainIntersection ( Polyhedron *Pol1, Polyhedron
    00019                                          *Pol2, unsigned NbMaxRays );
    00020 extern Param_Polyhedron *Polyhedron2Param_Domain ( Polyhedron *Din,
    00021                                                    Polyhedron *Cin, int
    00022                                                    working_space );
    00023 extern Param_Polyhedron *Polyhedron2Param_SimplifiedDomain (
    00024    Polyhedron **Din, Polyhedron *Cin, int working_space,
    00025    Polyhedron **CEq, Matrix **CT );
    00026 extern Param_Polyhedron *Polyhedron2Param_Vertices ( Polyhedron *Din,
    00027                                                      Polyhedron *Cin, int
    00028                                                      working_space );
    00029 extern void Print_Domain(FILE *DST, Polyhedron *D, const char **param_names);
    00030 extern void Print_Vertex(FILE *DST, Matrix *V, const char **param_names);
    00031 extern Matrix *VertexCT( Matrix *V, Matrix *CT );
    00032 void Param_Polyhedron_Scale_Integer(Param_Polyhedron *PP, Polyhedron **P,
    00033                                     Value *det, unsigned MaxRays);
    00034
    00035 #if defined(__cplusplus)
    00036 }
    00037 #endif
    00038
    00039 #endif /* _polyparam_H_ */