lemon/glpk.cc
changeset 537 0fec6a017ead
parent 462 9b082b3fb33f
child 538 ba124394367a
equal deleted inserted replaced
1:e3b8ca1cea32 2:ad625fddb199
   518 
   518 
   519   void GlpkBase::_clear() {
   519   void GlpkBase::_clear() {
   520     glp_erase_prob(lp);
   520     glp_erase_prob(lp);
   521     rows.clear();
   521     rows.clear();
   522     cols.clear();
   522     cols.clear();
       
   523   }
       
   524 
       
   525   void GlpkBase::freeEnv() {
       
   526     glp_free_env();
   523   }
   527   }
   524 
   528 
   525   // GlpkLp members
   529   // GlpkLp members
   526 
   530 
   527   GlpkLp::GlpkLp()
   531   GlpkLp::GlpkLp()