lemon/cplex.cc
changeset 802 0e30f63d45d0
parent 785 8d281761dea4
child 799 015801ff09d1
equal deleted inserted replaced
6:dfaefc266e4e 8:d00328e07e88
    38   }
    38   }
    39 
    39 
    40   CplexEnv::CplexEnv() {
    40   CplexEnv::CplexEnv() {
    41     int status;
    41     int status;
    42     _cnt = new int;
    42     _cnt = new int;
       
    43     (*_cnt) = 1;
    43     _env = CPXopenCPLEX(&status);
    44     _env = CPXopenCPLEX(&status);
    44     if (_env == 0) {
    45     if (_env == 0) {
    45       delete _cnt;
    46       delete _cnt;
    46       _cnt = 0;
    47       _cnt = 0;
    47       throw LicenseError(status);
    48       throw LicenseError(status);