lemon/cplex.h
changeset 1139 0900cfe4a84d
parent 1092 dceba191c00d
     1.1 --- a/lemon/cplex.h	Wed May 06 11:28:38 2015 +0200
     1.2 +++ b/lemon/cplex.h	Wed May 06 16:01:26 2015 +0200
     1.3 @@ -23,6 +23,7 @@
     1.4  ///\brief Header of the LEMON-CPLEX lp solver interface.
     1.5  
     1.6  #include <lemon/lp_base.h>
     1.7 +#include <lemon/bits/lock.h>
     1.8  
     1.9  struct cpxenv;
    1.10  struct cpxlp;
    1.11 @@ -40,7 +41,11 @@
    1.12    private:
    1.13      cpxenv* _env;
    1.14      mutable int* _cnt;
    1.15 +    mutable bits::Lock* _cnt_lock;
    1.16  
    1.17 +    void incCnt();
    1.18 +    void decCnt();
    1.19 +    
    1.20    public:
    1.21  
    1.22      /// \brief This exception is thrown when the license check is not