Searched refs:SMFree (Results 1 – 4 of 4) sorted by relevance
2016 if (Sat) SMFree(&Sat); in Constraints2Polyhedron()2148 if (Sat) SMFree(&Sat); in Rays2Polyhedron()2189 SMFree(&Sat); in Rays2Polyhedron()2246 SMFree(&Sat); in BuildSat()2327 if (Sat) SMFree(&Sat); in AddConstraints()2376 SMFree(&Sat); in AddConstraints()2523 if (Sat) SMFree(&Sat); in SubConstraint()2597 SMFree(&Sat); in SubConstraint()2675 if (Sat) SMFree(&Sat); in AddRays()2921 if (Sat) SMFree(&Sat); in FindSimple()[all …]
268 static void SMFree (SatMatrix *matrix) {1340 SMFree(Sat);
268 static void SMFree (SatMatrix *matrix) { in SMFree() function1340 SMFree(Sat); in Find_m_faces()