| 1246 | } |
| 1247 | |
| 1248 | uno_int uno_get_number_subproblem_solved_evaluations(void* solver) { |
| 1249 | const Result* result = uno_get_result(solver); |
| 1250 | return static_cast<uno_int>(result->number_subproblems_solved); |
| 1251 | } |
| 1252 | |
| 1253 | void uno_destroy_model(void* model) { |
| 1254 | if (model != nullptr) { |
nothing calls this directly
no test coverage detected