Back to SYMPHONY Home Page

user_is_feasible

int user_is_feasible(void *user, double lpetol, int varnum, int
                     *indices, double *values, int *feasible)

Description:

User tests the feasibility of the solution to the current LP relaxation.

There is no post-processing. Possible defaults are testing integrality ( TEST_INTEGRALITY) and testing whether the solution is binary ( TEST_ZERO_ONE).

Arguments:

Return values:

Wrapper invoked from:

select_branching_object() after pre-solving the LP relaxation of a child corresponding to a candidate and from fathom_branch() after solving an LP relaxation.