Go to the source code of this file.
|
Value: if (F_ISSET(P, POL_VALID) && !F_ISSET(P, POL_FACETS)) \ Polyhedron_Compute_Dual(P); Definition at line 19 of file polyhedron.h. Referenced by AddConstraints(), AddPolyToDomain(), AddRays(), count_points(), Domain_Enumerate(), DomainCost(), DomainDifference(), FindHermiteBasisofDomain(), in_domain(), lower_upper_bounds(), PDomainDifference(), PDomainIntersection(), Polyhedron2Param_Domain(), Polyhedron2Param_SimplifiedDomain(), Polyhedron2Param_Vertices(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Not_Empty(), Polyhedron_Preimage(), Polyhedron_Scan(), PolyhedronIncludes(), PolyhedronLTQ(), PolyhedronTSort(), Print_Domain(), SubConstraint(), and ZPolyhedron_Alloc(). |
|
Value: if (F_ISSET(P, POL_VALID) && !F_ISSET(P, POL_INEQUALITIES)) \ Polyhedron_Compute_Dual(P); Definition at line 11 of file polyhedron.h. Referenced by LexSmaller(), and Polyhedron2Constraints(). |
|
Value: if (F_ISSET(P, POL_VALID) && !F_ISSET(P, POL_POINTS)) \ Polyhedron_Compute_Dual(P); Definition at line 15 of file polyhedron.h. Referenced by Polyhedron2Rays(). |
|
Value: if (F_ISSET(P, POL_VALID) && !F_ISSET(P, POL_VERTICES)) \ Polyhedron_Compute_Dual(P); Definition at line 23 of file polyhedron.h. Referenced by AddConstraints(), AddPolyToDomain(), AddRays(), count_points(), Domain_Enumerate(), DomainCost(), DomainDifference(), DomainSimplify(), FindHermiteBasisofDomain(), in_domain(), lower_upper_bounds(), PDomainDifference(), PDomainIntersection(), Polyhedron2Param_Domain(), Polyhedron2Param_SimplifiedDomain(), Polyhedron2Param_Vertices(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Not_Empty(), Polyhedron_Preimage(), Polyhedron_Scan(), PolyhedronIncludes(), PolyhedronLTQ(), PolyhedronTSort(), Print_Domain(), Stras_DomainSimplify(), SubConstraint(), and ZPolyhedron_Alloc(). |
|
|
|
Referenced by DomainAddRays(), DomainConvex(), and PolyhedronLTQ(). |
|
Referenced by Find_m_faces(), main(), and Polyhedron_Scan(). |
|
|
Referenced by Domain_Enumerate(), and main(). |
|
Referenced by AddZPolytoZDomain(), Domain_Copy(), DomainDifference(), ZDomainSimplify(), ZPolyhedron_Alloc(), and ZPolyhedronDifference(). |
|
|
|
|
Referenced by Find_m_faces(), and Polyhedron_Scan(). |
|
Referenced by main(). |
|
|
|
Referenced by Domain_Enumerate(), ZDomainSimplify(), ZPolyhedronDifference(), and ZPolyhedronIncludes(). |
|
|
|
Referenced by IntegraliseLattice(), ZDomainSimplify(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIntersection(), and ZPolyhedronPreimage(). |
|
Referenced by Ehrhart_Quick_Apx_Full_Dim(), Find_m_faces(), main(), Polyhedron_Enumerate(), and Polyhedron_Scan(). |
|
Referenced by AddZPolytoZDomain(), DMUnion(), and main(). |
|
|
Referenced by Constraints2Polyhedron(), P_Enum(), Remove_Redundants(), and SimplifyEqualities(). |
|
Referenced by cherche_min(), count_points(), exist_points(), and P_Enum(). |
|
Referenced by dehomogenize_polyhedron(), Elim_Columns(), main(), and traite_m_face(). |
|
Referenced by GenParamPolyhedron(), and main(). |
|
Referenced by align_context(), Constraints2Polyhedron(), Empty_Polyhedron(), Polyhedron_Copy(), Polyhedron_Image(), Remove_Redundants(), and Universe_Polyhedron(). |
|
Definition at line 2240 of file polyhedron.c. References assert, polyhedron::Constraint, Constraints2Polyhedron(), polyhedron::Dimension, F_ISSET, Matrix, matrix::NbColumns, polyhedron::NbConstraints, matrix::NbRows, polyhedron::next, matrix::p, polyhedron::p_Init, matrix::p_Init, POL_FACETS, POL_INEQUALITIES, POL_VALID, POL_VERTICES, Polyhedron, and Polyhedron_Free(). |
|
Referenced by Add_CEqualities(), AddConstraints(), align_context(), Disjoint_Domain(), Domain_Copy(), DomainConvex(), DomainUnion(), FindSimple(), and Polyhedron_Image_Enumerate(). |
|
|
Referenced by DomainImage(), and main(). |
|
Referenced by DomainPreimage(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), main(), and Polyhedron_Enumerate(). |
|
|
Referenced by AffConstraints(), AffContraintes(), and Domain_PrintConstraints(). |
|
Referenced by Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), main(), Polyhedron_Enumerate(), Polyhedron_Not_Empty(), and Polyhedron_Preprocess(). |
|
Referenced by AddPolyToDomain(), DomainAddConstraints(), DomainAddRays(), DomainUnion(), Ehrhart_Quick_Apx_Full_Dim(), IncludeInRes(), main(), Polyhedron_Enumerate(), and Remove_RedundantDomains(). |
|
|
|
Referenced by main(), Polyhedron_Image(), and traite_m_face(). |
|
Referenced by Disjoint_Domain(), DomainDifference(), and PDomainDifference(). |
|
Referenced by Constraints2Polyhedron(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), Find_m_faces(), GenParamPolyhedron(), Polyhedron_Enumerate(), and Polyhedron_Preprocess(). |