Changes in / [541:89e29e22d479:542:fc6c7aab4b8d] in lemon-main

Location:

lemon

Files:

• glpk.cc (modified) (1 diff)
• glpk.h (modified) (1 diff)

lemon/glpk.cc

@@ -522 +522 @@
     cols.clear();
   }
+
+  void GlpkBase::freeEnv() {
+    glp_free_env();
+  }
+
+  GlpkBase::FreeEnvHelper GlpkBase::freeEnvHelper;
 
   // GlpkLp members

lemon/glpk.h

@@ -101 +101 @@
     virtual void _clear();
 
+  private:
+
+    static void freeEnv();
+
+    struct FreeEnvHelper {
+      ~FreeEnvHelper() {
+        freeEnv();
+      }
+    };
+    
+    static FreeEnvHelper freeEnvHelper;
+    
   public: