//------------------------------------------------------------------- // insert cuts into collection //------------------------------------------------------------------- void OsiCuts::insert( const OsiRowCut & rc ) { OsiRowCut * newCutPtr = rc.clone(); //assert(dynamic_cast<OsiRowCut*>(newCutPtr) != NULL ); rowCutPtrs_.push_back(static_cast<OsiRowCut*>(newCutPtr)); }