Back to SYMPHONY Home Page

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 1.14.4 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:

ERROR	Ignored.
USER_NO_PP	The user is done checking the cut.

Invoked from:

Whenever a cut is being sent to the LP.