Home
last modified time | relevance | path

Searched refs:SMAlloc (Results 1 – 4 of 4) sorted by relevance

/dports/math/polylib/polylib-5.22.5/source/kernel/
H A Dpolyhedron.c109 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 Dpolyparam.c229 static SatMatrix *SMAlloc(int rows,int cols) {
773 Sat = SMAlloc(NbCon,nr);
/dports/math/barvinok/barvinok-0.41.5/polylib/source/kernel/
H A Dpolyhedron.c109 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 Dpolyparam.c229 static SatMatrix *SMAlloc(int rows,int cols) { in SMAlloc() function
773 Sat = SMAlloc(NbCon,nr); in Poly2Sat()