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. | 
| ERROR | Ignored. | 
| USER_NO_PP | The user function exited properly. |