lemon/mip_glpk.cc
changeset 2451 d7b7048e045b
parent 2441 d8d6ab871608
child 2458 93b4132ac1e8
equal deleted inserted replaced
10:bd98ea89d265 11:c99769cec7c3
    90 
    90 
    91       result = LEMON_lpx(integer)(lp);
    91       result = LEMON_lpx(integer)(lp);
    92       switch (result){
    92       switch (result){
    93       case LEMON_LPX(E_OK):
    93       case LEMON_LPX(E_OK):
    94 	solved = true;
    94 	solved = true;
       
    95 	break;
    95       default:
    96       default:
    96 	solved = false;
    97 	solved = false;
    97       }  
    98       }  
    98     } else {
    99     } else {
    99       solved = false;
   100       solved = false;