#include <types.h>
Public Attributes | |
| unsigned | Dimension |
| unsigned | NbConstraints |
| unsigned | NbRays |
| unsigned | NbEq |
| unsigned | NbBid |
| Value ** | Constraint |
| Value ** | Ray |
| Value * | p_Init |
| int | p_Init_size |
| struct polyhedron * | next |
| unsigned | flags |
Definition at line 109 of file types.h.
| Value** polyhedron::Constraint |
Definition at line 111 of file types.h.
Referenced by Add_CEqualities(), AddConstraints(), AddRays(), align_context(), Constraints2Polyhedron(), constraintsView(), Disjoint_Domain(), DomainDifference(), DomainIntersection(), DomainSimplify(), Elim_Columns(), Empty_Polyhedron(), 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 110 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 124 of file types.h.
Referenced by align_context(), Polyhedron_Alloc(), and Polyhedron_Copy().
| unsigned polyhedron::NbBid |
Definition at line 110 of file types.h.
Referenced by AddConstraints(), align_context(), ComputeNPLinesRays(), Ehrhart_Quick_Apx_Full_Dim(), Empty_Polyhedron(), Find_m_faces(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Print(), Remove_Redundants(), SimplifyConstraints(), SubConstraint(), and Universe_Polyhedron().
| unsigned polyhedron::NbConstraints |
Definition at line 110 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 110 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 110 of file types.h.
Referenced by AddConstraints(), AddRays(), align_context(), ComputeNPLinesRays(), DomainConvex(), DomainCost(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), FindHermiteBasisofDomain(), FindSimple(), GenParamPolyhedron(), Poly2Sat(), Polyhedron2Rays(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preprocess2(), Polyhedron_Print(), PolyhedronIncludes(), Remove_Redundants(), SimplifyConstraints(), SubConstraint(), and traite_m_face().
struct polyhedron* polyhedron::next [read] |
Definition at line 115 of file types.h.
Referenced by Add_CEqualities(), AddPolyToDomain(), AddZPolytoZDomain(), AffConstraints(), AffContraintes(), align_context(), cherche_min(), Compute_PDomains(), count_points(), Disjoint_Domain(), Domain_Copy(), Domain_Enumerate(), Domain_Free(), Domain_PrintConstraints(), DomainAddConstraints(), DomainAddRays(), DomainConstraintSimplify(), DomainConvex(), DomainDifference(), DomainImage(), DomainIntersection(), DomainPreimage(), 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 113 of file types.h.
Referenced by homogenize(), Polyhedron_Alloc(), Polyhedron_Compute_Dual(), and Polyhedron_Free().
Definition at line 114 of file types.h.
Referenced by Polyhedron_Alloc(), and Polyhedron_Free().
| Value** polyhedron::Ray |
Definition at line 112 of file types.h.
Referenced by AddConstraints(), AddRays(), align_context(), ComputeNPLinesRays(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), FindHermiteBasisofDomain(), FindSimple(), GenParamPolyhedron(), Poly2Sat(), Polyhedron2Rays(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preprocess2(), Polyhedron_Print(), PolyhedronIncludes(), Remove_Redundants(), SimplifyConstraints(), SubConstraint(), traite_m_face(), and Universe_Polyhedron().
1.6.1