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
Value * p_Init
int p_Init_size
polyhedronnext
unsigned flags


Member Data Documentation

Value** polyhedron::Constraint
 

Definition at line 94 of file types.h.

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

unsigned polyhedron::Dimension
 

Definition at line 93 of file types.h.

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

unsigned polyhedron::flags
 

Definition at line 107 of file types.h.

Referenced by align_context(), Polyhedron_Alloc(), and Polyhedron_Copy().

unsigned polyhedron::NbBid
 

Definition at line 93 of file types.h.

Referenced by AddConstraints(), align_context(), ComputeNPLinesRays(), 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 93 of file types.h.

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

unsigned polyhedron::NbEq
 

Definition at line 93 of file types.h.

Referenced by AddRays(), align_context(), Compute_PDomains(), Constraints2Polyhedron(), Ehrhart_Quick_Apx_Full_Dim(), 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 93 of file types.h.

Referenced by AddConstraints(), AddRays(), align_context(), ComputeNPLinesRays(), DomainCost(), Enumerate_NoParameters(), Find_m_faces(), FindHermiteBasisofDomain(), GenParamPolyhedron(), 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 98 of file types.h.

Referenced by Add_CEqualities(), AddPolyToDomain(), AddZPolytoZDomain(), align_context(), cherche_min(), count_points(), Disjoint_Domain(), Domain_Copy(), Domain_Enumerate(), Domain_Free(), Domain_PrintConstraints(), DomainAddConstraints(), DomainAddRays(), DomainConstraintSimplify(), DomainConvex(), DomainDifference(), DomainIntersection(), DomainSimplify(), DomainUnion(), exist_points(), in_domain(), LexSmaller(), main(), P_Enum(), PDomainDifference(), PDomainIntersection(), Polyhedron_Alloc(), Polyhedron_Compute_Dual(), Polyhedron_LexSmallerEnumerate(), Polyhedron_Print(), Polyhedron_Scan(), PolyhedronLTQ(), Print_Domain(), Stras_DomainSimplify(), and Union_Read().

Value* polyhedron::p_Init
 

Definition at line 96 of file types.h.

Referenced by homogenize(), Polyhedron_Alloc(), Polyhedron_Compute_Dual(), and Polyhedron_Free().

int polyhedron::p_Init_size
 

Definition at line 97 of file types.h.

Referenced by Polyhedron_Alloc(), and Polyhedron_Free().

Value** polyhedron::Ray
 

Definition at line 95 of file types.h.

Referenced by AddConstraints(), AddRays(), align_context(), ComputeNPLinesRays(), Constraints2Polyhedron(), DomainCost(), Enumerate_NoParameters(), FindHermiteBasisofDomain(), GenParamPolyhedron(), 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 Thu Sep 4 15:29:00 2008 for polylib by doxygen 1.3.5