polylib 7.01
Public Attributes | List of all members
polyhedron Struct Reference

#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
 

Detailed Description

Definition at line 109 of file types.h.

Member Data Documentation

◆ Constraint

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(), FindSimple(), get_equalities(), 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_dark_source(), 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(), same_equalities(), scan_m_face(), SimplifyConstraints(), SimplifyEqualities(), Stras_DomainSimplify(), SubConstraint(), and Universe_Polyhedron().

◆ Dimension

unsigned polyhedron::Dimension

Definition at line 110 of file types.h.

Referenced by AddConstraints(), AddRays(), align_context(), bound_polyhedron(), check_poly(), cherche_min(), compute_poly(), constraintsView(), domain_project(), Domain_Remove_Integer_Empty(), DomainAddConstraints(), DomainAddRays(), DomainConstraintSimplify(), DomainCost(), DomainDifference(), DomainIntersection(), DomainSimplify(), DomainUnion(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), Find_m_faces(), FindSimple(), GenParamPolyhedron(), get_equalities(), homogenize(), in_domain(), LBLAlloc(), LBLSimplify(), 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_dark_source(), 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(), Scan_RestAP(), SimplifyConstraints(), SimplifyEqualities(), sLBLCanonical(), sLBLComplement(), sLBLComplement2(), sLBLCompute_holes(), sLBLIntersection(), sLBLMake_lattice_equal_to(), Stras_DomainSimplify(), SubConstraint(), test_Constraints_Remove_parm_eqs(), and test_Polyhedron_Remove_parm_eqs().

◆ flags

unsigned polyhedron::flags

Definition at line 124 of file types.h.

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

◆ NbBid

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().

◆ NbConstraints

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(), 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_dark_source(), 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().

◆ NbEq

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(), get_equalities(), PDomainDifference(), PDomainIntersection(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Print(), PreElim_Columns(), Remove_Redundants(), same_equalities(), SimplifyEqualities(), sLBLCanonical(), sLBLSimplify_equalities(), and Universe_Polyhedron().

◆ NbRays

unsigned polyhedron::NbRays

Definition at line 110 of file types.h.

Referenced by AddConstraints(), AddRays(), align_context(), bound_polyhedron(), ComputeNPLinesRays(), Domain_Remove_Integer_Empty(), DomainConvex(), DomainCost(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), 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().

◆ next

struct polyhedron* polyhedron::next

Definition at line 115 of file types.h.

Referenced by Add_CEqualities(), AddPolyToDomain(), AffConstraints(), AffContraintes(), align_context(), CanonicalLBL(), cherche_min(), Compute_PDomains(), count_points(), Disjoint_Domain(), Domain_Copy(), domain_dark_shadow(), Domain_Enumerate(), Domain_Free(), domain_insert_dim(), Domain_PrintConstraints(), domain_project(), Domain_Remove_Integer_Empty(), 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_int_solution(), Polyhedron_LexSmallerEnumerate(), Polyhedron_Print(), Polyhedron_Scan(), PolyhedronLTQ(), Print_Domain(), Scan_RestAP(), sLBLComplement2(), sLBLCompute_holes(), sLBLHomogenize_equalities(), sLBLIntersection(), Stras_DomainSimplify(), and Union_Read().

◆ p_Init

Value* polyhedron::p_Init

Definition at line 113 of file types.h.

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

◆ p_Init_size

int polyhedron::p_Init_size

Definition at line 114 of file types.h.

Referenced by Polyhedron_Alloc(), and Polyhedron_Free().

◆ Ray

Value** polyhedron::Ray

Definition at line 112 of file types.h.

Referenced by AddConstraints(), AddRays(), align_context(), bound_polyhedron(), ComputeNPLinesRays(), Constraints2Polyhedron(), Domain_Remove_Integer_Empty(), DomainConvex(), DomainCost(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), 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().

The documentation for this struct was generated from the following file: