lemon/glpk.h
changeset 542 fc6c7aab4b8d
parent 541 89e29e22d479
parent 538 ba124394367a
child 565 7ab97e2a0c33
     1.1 --- a/lemon/glpk.h	Sun Mar 01 07:10:49 2009 +0000
     1.2 +++ b/lemon/glpk.h	Wed Mar 04 13:43:05 2009 +0000
     1.3 @@ -100,6 +100,18 @@
     1.4  
     1.5      virtual void _clear();
     1.6  
     1.7 +  private:
     1.8 +
     1.9 +    static void freeEnv();
    1.10 +
    1.11 +    struct FreeEnvHelper {
    1.12 +      ~FreeEnvHelper() {
    1.13 +        freeEnv();
    1.14 +      }
    1.15 +    };
    1.16 +    
    1.17 +    static FreeEnvHelper freeEnvHelper;
    1.18 +    
    1.19    public:
    1.20  
    1.21      ///Pointer to the underlying GLPK data structure.