user_free_lp

int user_free_lp(void **user)

Description:

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.

Arguments:

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.