Home
last modified time | relevance | path

Searched defs:Pol1 (Results 1 – 8 of 8) sorted by relevance

/dports/math/polylib/polylib-5.22.5/source/kernel/
H A Dpolyhedron.c2388 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()
[all …]
H A Dvector.c65 Value f;
66
67 value_init(tmp);value_init(f);
104 value_multiply(*result,*result,tmp);
H A Dalpha.c144 int PolyhedronLTQ (Polyhedron *Pol1,Polyhedron *Pol2,int INDEX, int PDIM, int NbMaxConstrs) { in PolyhedronLTQ()
/dports/math/barvinok/barvinok-0.41.5/polylib/source/kernel/
H A Dpolyhedron.c2388 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()
[all …]
H A Dalpha.c144 int PolyhedronLTQ (Polyhedron *Pol1,Polyhedron *Pol2,int INDEX, int PDIM, int NbMaxConstrs) { in PolyhedronLTQ()
H A Dpolyparam.c62 Polyhedron *PDomainIntersection(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) { in PDomainIntersection()
103 Polyhedron *PDomainDifference(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) { in PDomainDifference()
/dports/math/barvinok/barvinok-0.41.5/polylib/source/
H A Doldpolytest.c138 int PolyhedronLTQ (Polyhedron *Pol1,Polyhedron *Pol2,int NbMaxConstrs) { in PolyhedronLTQ()
/dports/math/symmetrica/symmetrica-e29c85915f368d6fb2f89d703b6695ff29ab9eae/src/
H A Dff.c2419 static INT spezEinsGGT(Pol1,Pol2,Grad) INT *Pol1; INT *Pol2; INT Grad; in spezEinsGGT() argument
2689 INT **Pol1; local