int user_free_lp(void **user)
The user has to free all the data structures within *user, and also free user itself. The user can use the built-in macro FREE that checks the existence of a pointer before freeing it.
void **user | INOUT | Pointer to the user-defined LP data structure. |
USER_ERROR | Error. SYMPHONY ignores error message. |
USER_SUCCESS | User freed everything in the user space. |
USER_DEFAULT | There is no user memory to free. |