| 3990 | } |
| 3991 | |
| 3992 | bool HEkk::tabooBadBasisChange() const { |
| 3993 | for (const auto& change : bad_basis_change_) { |
| 3994 | if (change.taboo) return true; |
| 3995 | } |
| 3996 | return false; |
| 3997 | } |
| 3998 | |
| 3999 | void HEkk::applyTabooRowOut(vector<double>& values, |
| 4000 | const double overwrite_with) { |
no outgoing calls
no test coverage detected