2388 int PolyhedronIncludes(Polyhedron *Pol1,Polyhedron *Pol2) {  in PolyhedronIncludes()
2607 Polyhedron *DomainIntersection(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) {  in DomainIntersection()
2798   Polyhedron *Pol1;  in Polyhedron_Copy()  local
2825   Polyhedron *Pol1;  in Domain_Copy()  local
3120 static int SimplifyConstraints(Polyhedron *Pol1,Polyhedron *Pol2,unsigned *Filter,unsigned NbMaxRay…  in SimplifyConstraints()
3207 static void SimplifyEqualities(Polyhedron *Pol1, Polyhedron *Pol2, unsigned *Filter) {  in SimplifyEqualities()
3260 Polyhedron *DomainSimplify(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays) {  in DomainSimplify()
3372 Polyhedron *Stras_DomainSimplify(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) {  in Stras_DomainSimplify()
3493 Polyhedron *DomainUnion(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) {  in DomainUnion()
3608 Polyhedron *DomainDifference(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) {  in DomainDifference()
4407 	Polyhedron *p1, *p2, *p3, *Pol1, *dx, *d1, *d2, *pi, *newpi;  in Disjoint_Domain()  local