|
Definition at line 91 of file types.h.
Referenced by AddConstraints(), AddRays(), align_context(), check_poly(), cherche_min(), compute_poly(), DomainAddConstraints(), DomainAddRays(), DomainConstraintSimplify(), DomainCost(), DomainDifference(), DomainIntersection(), DomainSimplify(), DomainUnion(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), Find_m_faces(), FindHermiteBasisofDomain(), FindSimple(), homogenize(), in_domain(), LexSmaller(), lower_upper_bounds(), main(), old_Polyhedron_Preprocess(), p_simplify_constraints(), 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(), scan_m_face(), SimplifyConstraints(), SimplifyEqualities(), Stras_DomainSimplify(), SubConstraint(), and ZPolyhedron_Alloc(). |