Main Page | Class List | File List | Class 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(), 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(), Polyhedron_Image(), 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(), Domain_Free(), 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 Sep 12 14:48:30 2005 for polylib by doxygen 1.3.5