Main Page | Class List | File List | Class Members | File Members

polyhedron Struct Reference

#include <types.h>

List of all members.

Public Attributes

unsigned Dimension
unsigned NbConstraints
unsigned NbRays
unsigned NbEq
unsigned NbBid
Value ** Constraint
Value ** Ray
Valuep_Init
int p_Init_size
polyhedronnext


Member Data Documentation

Value** polyhedron::Constraint
 

Definition at line 76 of file types.h.

Referenced by Add_CEqualities(), AddConstraints(), AddRays(), align_context(), Disjoint_Domain(), DomainDifference(), DomainIntersection(), DomainSimplify(), Elim_Columns(), Empty_Polyhedron(), Find_m_faces(), FindHermiteBasisofDomain(), FindSimple(), in_domain(), lower_upper_bounds(), old_Polyhedron_Preprocess(), PDomainDifference(), PDomainIntersection(), Poly2Sat(), Polyhedron2Constraints(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Free(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Polyhedron_Print(), Polyhedron_PrintConstraints(), PolyhedronIncludes(), PolyhedronLTQ(), PreElim_Columns(), Print_Domain(), Remove_Redundants(), scan_m_face(), SimplifyConstraints(), SimplifyEqualities(), Stras_DomainSimplify(), SubConstraint(), and Universe_Polyhedron().

unsigned polyhedron::Dimension
 

Definition at line 75 of file types.h.

Referenced by AddConstraints(), AddRays(), align_context(), check_poly(), cherche_min(), compute_poly(), DomainAddConstraints(), DomainAddRays(), DomainCost(), DomainDifference(), DomainIntersection(), DomainSimplify(), DomainUnion(), Enumerate_NoParameters(), Find_m_faces(), FindHermiteBasisofDomain(), FindSimple(), in_domain(), lower_upper_bounds(), main(), old_Polyhedron_Preprocess(), PDomainDifference(), PDomainIntersection(), Poly2Sat(), Polyhedron2Constraints(), Polyhedron2Param_Domain(), Polyhedron2Param_SimplifiedDomain(), Polyhedron2Rays(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Not_Empty(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Polyhedron_Preprocess2(), Polyhedron_Print(), Polyhedron_PrintConstraints(), Polyhedron_Scan(), PolyhedronIncludes(), PolyhedronLTQ(), PreElim_Columns(), Print_Domain(), scan_m_face(), SimplifyConstraints(), SimplifyEqualities(), Stras_DomainSimplify(), SubConstraint(), and ZPolyhedron_Alloc().

unsigned polyhedron::NbBid
 

Definition at line 75 of file types.h.

Referenced by AddConstraints(), Empty_Polyhedron(), Find_m_faces(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Image(), Polyhedron_Print(), Remove_Redundants(), SimplifyConstraints(), SubConstraint(), and Universe_Polyhedron().

unsigned polyhedron::NbConstraints
 

Definition at line 75 of file types.h.

Referenced by Add_CEqualities(), AddConstraints(), AddRays(), align_context(), Disjoint_Domain(), DomainDifference(), DomainIntersection(), DomainSimplify(), Find_m_faces(), FindHermiteBasisofDomain(), FindSimple(), in_domain(), lower_upper_bounds(), old_Polyhedron_Preprocess(), PDomainDifference(), PDomainIntersection(), Poly2Sat(), Polyhedron2Constraints(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Polyhedron_Print(), Polyhedron_PrintConstraints(), PolyhedronIncludes(), PolyhedronLTQ(), Print_Domain(), Remove_Redundants(), scan_m_face(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint().

unsigned polyhedron::NbEq
 

Definition at line 75 of file types.h.

Referenced by AddRays(), Compute_PDomains(), Elim_Columns(), Empty_Polyhedron(), Find_m_faces(), PDomainDifference(), PDomainIntersection(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Print(), PreElim_Columns(), Remove_Redundants(), SimplifyEqualities(), and Universe_Polyhedron().

unsigned polyhedron::NbRays
 

Definition at line 75 of file types.h.

Referenced by AddConstraints(), AddRays(), DomainConvex(), DomainCost(), Enumerate_NoParameters(), Find_m_faces(), FindHermiteBasisofDomain(), Poly2Sat(), Polyhedron2Rays(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Image(), Polyhedron_Preprocess2(), Polyhedron_Print(), PolyhedronIncludes(), Remove_Redundants(), SimplifyConstraints(), SubConstraint(), and traite_m_face().

struct polyhedron* polyhedron::next
 

Definition at line 80 of file types.h.

Referenced by Add_CEqualities(), AddPolyToDomain(), AddZPolytoZDomain(), AffConstraints(), AffContraintes(), align_context(), cherche_min(), count_points(), Disjoint_Domain(), Domain_Copy(), Domain_Enumerate(), Domain_Free(), DomainAddConstraints(), DomainAddRays(), DomainConvex(), DomainDifference(), DomainImage(), DomainIntersection(), DomainPreimage(), DomainSimplify(), DomainUnion(), exist_points(), main(), P_Enum(), PDomainDifference(), PDomainIntersection(), Polyhedron_Alloc(), Polyhedron_Print(), Polyhedron_Scan(), PolyhedronLTQ(), Print_Domain(), Stras_DomainSimplify(), and Union_Read().

Value* polyhedron::p_Init
 

Definition at line 78 of file types.h.

Referenced by Polyhedron_Alloc(), and Polyhedron_Free().

int polyhedron::p_Init_size
 

Definition at line 79 of file types.h.

Referenced by Polyhedron_Alloc(), and Polyhedron_Free().

Value** polyhedron::Ray
 

Definition at line 77 of file types.h.

Referenced by AddConstraints(), AddRays(), DomainConvex(), DomainCost(), Enumerate_NoParameters(), FindHermiteBasisofDomain(), Poly2Sat(), Polyhedron2Rays(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Image(), Polyhedron_Preprocess2(), Polyhedron_Print(), PolyhedronIncludes(), Remove_Redundants(), SimplifyConstraints(), SubConstraint(), traite_m_face(), and Universe_Polyhedron().


The documentation for this struct was generated from the following file:
Generated on Mon Sep 12 14:48:30 2005 for polylib by doxygen 1.3.5