user_check_validity_of_cut

int user_check_validity_of_cut(void *user, cut_data *new_cut)

Description:

This function is provided as a debugging tool. Every cut that is to be sent to the LP solver is first passed to this function where the user can independently verify that the cut is valid by testing it against a known feasible solution (usually an optimal one). This is useful for determining why a particular known feasible (optimal) solution was never found. Usually, this is due to an invalid cut being added. See Section 5.6.3 for more on this feature.

Arguments:

void *user	IN	Pointer to the user-defined data structure.
cut_data *new_cut	IN	Pointer to the cut that must be checked.

Return values:

USER_ERROR	Ignored.
USER_SUCCESS	The user is done checking the cut.
USER_DEFAULT	The cut is ignored.

Invoked from:

Whenever a cut is being sent to the LP.