polylib 5.22.8
polyparam.h File Reference

Go to the source code of this file.

Functions

void Compute_PDomains (Param_Domain *PD, int nb_domains, int working_space)
 
Param_PolyhedronGenParamPolyhedron (Polyhedron *Pol, Matrix *Rays)
 
void Param_Domain_Free (Param_Domain *PD)
 
void Param_Polyhedron_Free (Param_Polyhedron *P)
 
void Param_Vertices_Free (Param_Vertices *PV)
 
void Param_Vertices_Print (FILE *DST, Param_Vertices *PV, const char **param_names)
 
PolyhedronPDomainDifference (Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)
 
PolyhedronPDomainIntersection (Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)
 
Param_PolyhedronPolyhedron2Param_Domain (Polyhedron *Din, Polyhedron *Cin, int working_space)
 
Param_PolyhedronPolyhedron2Param_SimplifiedDomain (Polyhedron **Din, Polyhedron *Cin, int working_space, Polyhedron **CEq, Matrix **CT)
 
Param_PolyhedronPolyhedron2Param_Vertices (Polyhedron *Din, Polyhedron *Cin, int working_space)
 
void Print_Domain (FILE *DST, Polyhedron *D, const char **param_names)
 
void Print_Vertex (FILE *DST, Matrix *V, const char **param_names)
 
MatrixVertexCT (Matrix *V, Matrix *CT)
 
void Param_Polyhedron_Scale_Integer (Param_Polyhedron *PP, Polyhedron **P, Value *det, unsigned MaxRays)
 

Function Documentation

◆ Compute_PDomains()

◆ GenParamPolyhedron()

◆ Param_Domain_Free()

void Param_Domain_Free ( Param_Domain PD)

◆ Param_Polyhedron_Free()

◆ Param_Polyhedron_Scale_Integer()

◆ Param_Vertices_Free()

void Param_Vertices_Free ( Param_Vertices PV)

◆ Param_Vertices_Print()

void Param_Vertices_Print ( FILE *  DST,
Param_Vertices PV,
const char **  param_names 
)

◆ PDomainDifference()

◆ PDomainIntersection()

◆ Polyhedron2Param_Domain()

◆ Polyhedron2Param_SimplifiedDomain()

Param_Polyhedron * Polyhedron2Param_SimplifiedDomain ( Polyhedron **  Din,
Polyhedron Cin,
int  working_space,
Polyhedron **  CEq,
Matrix **  CT 
)

◆ Polyhedron2Param_Vertices()

Param_Polyhedron * Polyhedron2Param_Vertices ( Polyhedron Din,
Polyhedron Cin,
int  working_space 
)

Definition at line 1531 of file polyparam.c.

References Find_m_faces(), _Param_Polyhedron::nbV, POL_ENSURE_FACETS, and POL_ENSURE_VERTICES.

Referenced by main().

◆ Print_Domain()

◆ Print_Vertex()

void Print_Vertex ( FILE *  DST,
Matrix V,
const char **  param_names 
)

◆ VertexCT()

Matrix * VertexCT ( Matrix V,
Matrix CT 
)