/dports/math/polylib/polylib-5.22.5/include/polylib/ |
H A D | polyhedron.h | 50 *Pol1,unsigned NbMaxRays); 52 int NbMaxRays); 54 NbMaxRays); 56 NbMaxRays ); 58 unsigned NbMaxRays); 64 unsigned NbMaxRays); 70 unsigned NbMaxRays); 72 unsigned NbMaxRays); 74 unsigned NbMaxRays); 76 unsigned NbMaxRays); [all …]
|
H A D | polyparam.h | 34 *Pol2, unsigned NbMaxRays ); 36 *Pol2, unsigned NbMaxRays );
|
/dports/math/barvinok/barvinok-0.41.5/polylib/include/polylib/ |
H A D | polyhedron.h | 50 *Pol1,unsigned NbMaxRays); 52 int NbMaxRays); 54 NbMaxRays); 56 NbMaxRays ); 58 unsigned NbMaxRays); 64 unsigned NbMaxRays); 70 unsigned NbMaxRays); 72 unsigned NbMaxRays); 74 unsigned NbMaxRays); 76 unsigned NbMaxRays); [all …]
|
H A D | polyparam.h | 34 *Pol2, unsigned NbMaxRays ); 36 *Pol2, unsigned NbMaxRays );
|
/dports/math/polylib/polylib-5.22.5/source/kernel/ |
H A D | polyhedron.c | 642 if (NbRay==NbMaxRays) { in Chernikova() 643 NbMaxRays *= 2; in Chernikova() 1979 NbMaxRays = Dimension; in Constraints2Polyhedron() 2334 if (NbRay > NbMaxRays) in AddConstraints() 2335 NbMaxRays = NbRay; in AddConstraints() 2544 NbMaxRays = 0; in SubConstraint() 2546 if (NbRay > NbMaxRays) in SubConstraint() 2547 NbMaxRays = NbRay; in SubConstraint() 3145 NbMaxRays = 0; in SimplifyConstraints() 3148 NbMaxRays = NbRay; in SimplifyConstraints() [all …]
|
H A D | polyparam.c | 62 Polyhedron *PDomainIntersection(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) { 82 p2->NbConstraints,p1,NbMaxRays); 103 Polyhedron *PDomainDifference(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) { 127 p3 = SubConstraint(p2->Constraint[i],p1,NbMaxRays,2);
|
/dports/math/barvinok/barvinok-0.41.5/polylib/source/kernel/ |
H A D | polyhedron.c | 642 if (NbRay==NbMaxRays) { in Chernikova() 643 NbMaxRays *= 2; in Chernikova() 1979 NbMaxRays = Dimension; in Constraints2Polyhedron() 2334 if (NbRay > NbMaxRays) in AddConstraints() 2335 NbMaxRays = NbRay; in AddConstraints() 2544 NbMaxRays = 0; in SubConstraint() 2546 if (NbRay > NbMaxRays) in SubConstraint() 2547 NbMaxRays = NbRay; in SubConstraint() 3145 NbMaxRays = 0; in SimplifyConstraints() 3148 NbMaxRays = NbRay; in SimplifyConstraints() [all …]
|
H A D | polyparam.c | 62 Polyhedron *PDomainIntersection(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) { in PDomainIntersection() argument 82 p2->NbConstraints,p1,NbMaxRays); in PDomainIntersection() 103 Polyhedron *PDomainDifference(Polyhedron *Pol1,Polyhedron *Pol2,unsigned NbMaxRays) { in PDomainDifference() argument 127 p3 = SubConstraint(p2->Constraint[i],p1,NbMaxRays,2); in PDomainDifference()
|
/dports/math/barvinok/barvinok-0.41.5/barvinok/ |
H A D | util.h | 46 Polyhedron* Polyhedron_Polar(Polyhedron *P, unsigned NbMaxRays); 60 unsigned NbMaxRays);
|
/dports/math/polylib/polylib-5.22.5/doc/ |
H A D | Changes | 73 *Pol2, unsigned NbMaxRays); 425 (1) Stras_DomainSimplify(Pol1, Pol2, NbMaxRays) 436 (4) Rays2Polyhedron : NbMaxRays -> NbMaxConstrs 448 NbMaxRays -> NbMaxConstrs 451 NbMaxRays -> NbMaxConstrs 453 NbMaxRays -> NbMaxConstrs 456 MAXRAYS -> NbMaxRays 457 (13) Polyhedron_Scan : MAXRAYS -> NbMaxRays 463 NbMaxRays -> NbMaxConstrs
|
/dports/math/barvinok/barvinok-0.41.5/polylib/doc/ |
H A D | Changes | 73 *Pol2, unsigned NbMaxRays); 425 (1) Stras_DomainSimplify(Pol1, Pol2, NbMaxRays) 436 (4) Rays2Polyhedron : NbMaxRays -> NbMaxConstrs 448 NbMaxRays -> NbMaxConstrs 451 NbMaxRays -> NbMaxConstrs 453 NbMaxRays -> NbMaxConstrs 456 MAXRAYS -> NbMaxRays 457 (13) Polyhedron_Scan : MAXRAYS -> NbMaxRays 463 NbMaxRays -> NbMaxConstrs
|
/dports/math/barvinok/barvinok-0.41.5/ |
H A D | util.c | 116 Polyhedron* Polyhedron_Polar(Polyhedron *P, unsigned NbMaxRays) in Polyhedron_Polar() argument 131 P = Constraints2Polyhedron(M, NbMaxRays); in Polyhedron_Polar() 713 unsigned NbMaxRays) in Polyhedron_Factor() argument 840 *next = Constraints2Polyhedron(M, NbMaxRays); in Polyhedron_Factor()
|