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.

Return values:

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.

Wrapper invoked from:
lp_close() at module shutdown.

Ted Ralphs