Searched refs:SMAlloc (Results 1 – 4 of 4) sorted by relevance
/dports/math/polylib/polylib-5.22.5/source/kernel/ |
H A D | polyhedron.c | 109 static SatMatrix *SMAlloc(int rows,int cols) { in SMAlloc() function 277 result = SMAlloc(Ray->NbRows, sat_nbcolumns); in TransformSat() 2009 Sat = SMAlloc(NbMaxRays, nbcolumns); in Constraints2Polyhedron() 2129 SatTranspose = SMAlloc(NbMaxConstrs,nbcolumns); in Rays2Polyhedron() 2255 Sat = SMAlloc(NbMaxRays,nbcolumns); in BuildSat() 3010 Sat = SMAlloc(NbRays, nc); in FindSimple()
|
H A D | polyparam.c | 229 static SatMatrix *SMAlloc(int rows,int cols) { 773 Sat = SMAlloc(NbCon,nr);
|
/dports/math/barvinok/barvinok-0.41.5/polylib/source/kernel/ |
H A D | polyhedron.c | 109 static SatMatrix *SMAlloc(int rows,int cols) { in SMAlloc() function 277 result = SMAlloc(Ray->NbRows, sat_nbcolumns); in TransformSat() 2009 Sat = SMAlloc(NbMaxRays, nbcolumns); in Constraints2Polyhedron() 2129 SatTranspose = SMAlloc(NbMaxConstrs,nbcolumns); in Rays2Polyhedron() 2255 Sat = SMAlloc(NbMaxRays,nbcolumns); in BuildSat() 3010 Sat = SMAlloc(NbRays, nc); in FindSimple()
|
H A D | polyparam.c | 229 static SatMatrix *SMAlloc(int rows,int cols) { in SMAlloc() function 773 Sat = SMAlloc(NbCon,nr); in Poly2Sat()
|