changeset 530 | fc6c7aab4b8d |
parent 529 | 89e29e22d479 |
parent 526 | ba124394367a |
child 557 | 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.