int user_finished_checking_cuts(void *user)
When this function is invoked there are no more cuts to be checked, so the user can dismantle data structures he created in user_prepare_to_check_cuts. Also, if he received and stored the LP solution himself he can delete it now.
void *user | IN | Pointer to the user-defined data structure. |
USER_ERROR | Ignored. |
USER_SUCCESS | The user function exited properly. |
USER_DEFAULT | There are no user-defined cuts in the pool. |