|
Definition at line 75 of file types.h.
Referenced by AddConstraints(), AddRays(), align_context(), check_poly(), cherche_min(), compute_poly(), DomainAddConstraints(), DomainAddRays(), DomainCost(), DomainDifference(), DomainIntersection(), DomainSimplify(), DomainUnion(), Enumerate_NoParameters(), Find_m_faces(), FindHermiteBasisofDomain(), FindSimple(), in_domain(), lower_upper_bounds(), main(), old_Polyhedron_Preprocess(), PDomainDifference(), PDomainIntersection(), Poly2Sat(), Polyhedron2Constraints(), Polyhedron2Param_Domain(), Polyhedron2Param_SimplifiedDomain(), Polyhedron2Rays(), Polyhedron_Alloc(), Polyhedron_Copy(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Not_Empty(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Polyhedron_Preprocess2(), Polyhedron_Print(), Polyhedron_PrintConstraints(), Polyhedron_Scan(), PolyhedronIncludes(), PolyhedronLTQ(), PreElim_Columns(), Print_Domain(), scan_m_face(), SimplifyConstraints(), SimplifyEqualities(), Stras_DomainSimplify(), SubConstraint(), and ZPolyhedron_Alloc(). |