lemon/lp_soplex.cc
changeset 2375 e30a0fdad0d7
parent 2366 bfbdded3763a
child 2386 81b47fc5c444
equal deleted inserted replaced
3:44b93eb26297 4:c14afe6ce6c8
    74   }
    74   }
    75 
    75 
    76 
    76 
    77   void LpSoplex::_eraseCol(int i) {
    77   void LpSoplex::_eraseCol(int i) {
    78     soplex->removeCol(i);
    78     soplex->removeCol(i);
       
    79     invColNames.erase(colNames[i]);
    79     colNames[i] = colNames.back();
    80     colNames[i] = colNames.back();
       
    81     invColNames[colNames.back()] = i;
    80     colNames.pop_back();
    82     colNames.pop_back();
    81     primal_value[i] = primal_value.back();
    83     primal_value[i] = primal_value.back();
    82     primal_value.pop_back();
    84     primal_value.pop_back();
    83     solved = false;
    85     solved = false;
    84   }
    86   }