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.|