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_NO_PP||The user function exited properly.|