Main Page   Compound List   File List   Compound Members   File Members  

polyhedron.h File Reference

Go to the source code of this file.

Functions

PolyhedronAddConstraints ()
PolyhedronAddPolyToDomain ()
PolyhedronAddRays ()
Polyhedronalign_context ()
PolyhedronConstraints2Polyhedron ()
PolyhedronDisjoint_Domain ()
PolyhedronDomainAddConstraints ()
PolyhedronDomainAddRays ()
PolyhedronDomainConvex ()
IntervalDomainCost ()
PolyhedronDomainDifference ()
PolyhedronDomainImage ()
PolyhedronDomainIntersection ()
PolyhedronDomainPreimage ()
PolyhedronDomainSimplify ()
PolyhedronDomainUnion ()
PolyhedronDomain_Copy ()
void Domain_Free ()
PolyhedronEmpty_Polyhedron ()
int Gauss ()
int lower_upper_bounds ()
MatrixPolyhedron2Constraints ()
MatrixPolyhedron2Rays ()
int PolyhedronIncludes ()
PolyhedronPolyhedron_Alloc ()
PolyhedronPolyhedron_Copy ()
void Polyhedron_Free ()
PolyhedronPolyhedron_Image ()
PolyhedronPolyhedron_Preimage ()
void Polyhedron_Print ()
void Polyhedron_PrintConstraints ()
PolyhedronPolyhedron_Scan ()
void PolyPrint ()
PolyhedronRays2Polyhedron ()
PolyhedronSubConstraint ()
PolyhedronUniverse_Polyhedron ()


Function Documentation

Polyhedron* AddConstraints  
 

Referenced by Add_CEqualities(), Disjoint_Domain(), DomainAddConstraints(), DomainIntersection(), FindSimple(), old_Polyhedron_Preprocess(), PDomainIntersection(), Polyhedron_Image_Enumerate(), and PolyhedronLTQ().

Polyhedron* AddPolyToDomain  
 

Referenced by Disjoint_Domain(), DomainDifference(), DomainImage(), DomainIntersection(), DomainPreimage(), DomainSimplify(), PDomainDifference(), PDomainIntersection(), Polyhedron_Image_Enumerate(), and Stras_DomainSimplify().

Polyhedron* AddRays  
 

Referenced by DomainAddRays(), DomainConvex(), and PolyhedronLTQ().

Polyhedron* align_context  
 

Referenced by Find_m_faces(), main(), and Polyhedron_Scan().

Polyhedron* Constraints2Polyhedron  
 

Referenced by align_context(), DomainSimplify(), Elim_Columns(), Find_m_faces(), main(), Param_Vertices_Print(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Polyhedron_Preprocess2(), Stras_DomainSimplify(), and Union_Read().

Polyhedron* Disjoint_Domain  
 

Referenced by Domain_Enumerate(), and main().

Polyhedron* Domain_Copy  
 

Referenced by AddZPolytoZDomain(), Domain_Copy(), DomainDifference(), ZDomainSimplify(), ZPolyhedron_Alloc(), and ZPolyhedronDifference().

void Domain_Free  
 

Referenced by Add_CEqualities(), AddZPolytoZDomain(), Compute_PDomains(), Disjoint_Domain(), Domain_Free(), DomainDifference(), EmptyZPolyhedron(), Enumerate_NoParameters(), Find_m_faces(), IntegraliseLattice(), main(), Param_Domain_Free(), Param_Vertices_Print(), PDomainDifference(), Polyhedron_Enumerate(), Polyhedron_Not_Empty(), Polyhedron_Preprocess(), Polyhedron_Scan(), PolyhedronLTQ(), ZDomainSimplify(), ZPolyhedron_Free(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIncludes(), ZPolyhedronIntersection(), and ZPolyhedronPreimage().

Polyhedron* DomainAddConstraints  
 

Polyhedron* DomainAddRays  
 

Referenced by Find_m_faces(), and Polyhedron_Scan().

Polyhedron* DomainConvex  
 

Referenced by main().

Interval* DomainCost  
 

Polyhedron* DomainDifference  
 

Referenced by Domain_Enumerate(), ZDomainSimplify(), ZPolyhedronDifference(), and ZPolyhedronIncludes().

Polyhedron* DomainImage  
 

Referenced by AddZPolytoZDomain(), CanonicalForm(), FindHermiteBasisofDomain(), IntegraliseLattice(), Polyhedron_Image_Enumerate(), ZDomainSimplify(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIncludes(), ZPolyhedronIntersection(), and ZPolyhedronPreimage().

Polyhedron* DomainIntersection  
 

Referenced by Domain_Enumerate(), Enumerate_NoParameters(), Find_m_faces(), main(), Polyhedron_Enumerate(), Polyhedron_Scan(), PolyhedronLTQ(), ZPolyhedronDifference(), and ZPolyhedronIntersection().

Polyhedron* DomainPreimage  
 

Referenced by IntegraliseLattice(), ZDomainSimplify(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIntersection(), and ZPolyhedronPreimage().

Polyhedron* DomainSimplify  
 

Referenced by Find_m_faces(), main(), Polyhedron_Enumerate(), and Polyhedron_Scan().

Polyhedron* DomainUnion  
 

Referenced by AddZPolytoZDomain(), DMUnion(), and main().

Polyhedron* Empty_Polyhedron  
 

Referenced by DomainDifference(), DomainIntersection(), DomainSimplify(), EmptyZPolyhedron(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Remove_Redundants(), and Stras_DomainSimplify().

int Gauss  
 

Referenced by P_Enum(), Remove_Redundants(), and SimplifyEqualities().

int lower_upper_bounds  
 

Referenced by cherche_min(), count_points(), exist_points(), and P_Enum().

Matrix* Polyhedron2Constraints  
 

Referenced by Elim_Columns(), main(), and traite_m_face().

Matrix* Polyhedron2Rays  
 

Referenced by GenParamPolyhedron(), and main().

Polyhedron* Polyhedron_Alloc  
 

Referenced by Empty_Polyhedron(), Polyhedron_Copy(), Remove_Redundants(), and Universe_Polyhedron().

Polyhedron* Polyhedron_Copy  
 

Referenced by Add_CEqualities(), AddConstraints(), align_context(), Disjoint_Domain(), Domain_Copy(), DomainConvex(), DomainUnion(), FindSimple(), and Polyhedron_Image_Enumerate().

void Polyhedron_Free  
 

Referenced by AddConstraints(), AddPolyToDomain(), AddRays(), align_context(), CanonicalForm(), Constraints2Polyhedron(), Disjoint_Domain(), DomainConvex(), DomainImage(), DomainPreimage(), Enumerate_NoParameters(), Enumeration_Free(), Find_m_faces(), FindSimple(), main(), PDomainDifference(), PDomainIntersection(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Rays2Polyhedron(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), SubConstraint(), and traite_m_face().

Polyhedron* Polyhedron_Image  
 

Referenced by DomainImage(), and main().

Polyhedron* Polyhedron_Preimage  
 

Referenced by DomainPreimage(), Enumerate_NoParameters(), main(), and Polyhedron_Enumerate().

void Polyhedron_Print  
 

Referenced by Compute_PDomains(), Constraints2Polyhedron(), Elim_Columns(), Enumerate_NoParameters(), Find_m_faces(), main(), Polyhedron_Enumerate(), Polyhedron_Preprocess(), Polyhedron_Print(), PolyhedronLTQ(), PolyPrint(), PreElim_Columns(), Rays2Polyhedron(), traite_m_face(), and ZPolyhedronPrint().

void Polyhedron_PrintConstraints  
 

Referenced by AffConstraints(), and AffContraintes().

Polyhedron* Polyhedron_Scan  
 

Referenced by Enumerate_NoParameters(), main(), Polyhedron_Enumerate(), Polyhedron_Not_Empty(), and Polyhedron_Preprocess().

int PolyhedronIncludes  
 

Referenced by AddPolyToDomain(), DomainAddConstraints(), DomainAddRays(), DomainUnion(), IncludeInRes(), main(), Polyhedron_Enumerate(), and Remove_RedundantDomains().

void PolyPrint  
 

Polyhedron* Rays2Polyhedron  
 

Referenced by main(), Polyhedron_Image(), and traite_m_face().

Polyhedron* SubConstraint  
 

Referenced by Disjoint_Domain(), DomainDifference(), and PDomainDifference().

Polyhedron* Universe_Polyhedron  
 

Referenced by Constraints2Polyhedron(), Enumerate_NoParameters(), Find_m_faces(), GenParamPolyhedron(), Polyhedron_Enumerate(), and Polyhedron_Preprocess().


Generated on Mon Mar 15 10:59:52 2004 for polylib by doxygen1.2.18