Gets the MIP or sub-MIP record according to record_type which, by default is kChooseRecord so this->submip is used
| 4369 | // Gets the MIP or sub-MIP record according to record_type which, by |
| 4370 | // default is kChooseRecord so this->submip is used |
| 4371 | HighsProfilingRecord* HighsProfiling::getHighsProfilingRecord( |
| 4372 | const HighsInt record_type) { |
| 4373 | HighsInt thread = this->myThread(); |
| 4374 | if (record_type == kSubMipRecord || |
| 4375 | (record_type == kChooseRecord && this->submip[thread])) |
| 4376 | return &this->submip_record[thread]; |
| 4377 | return &this->record[thread]; |
| 4378 | } |
| 4379 | |
| 4380 | void HighsProfiling::start(const HighsInt profiling_clock, const bool restart) { |
| 4381 | assert(profiling_clock >= 0); |