pub_dive.h
Go to the documentation of this file.
33 * This method performs a diving according to the settings defined by the diving settings @p diveset; Contrary to the 34 * name, SCIP enters probing mode (not diving mode) and dives along a path into the tree. Domain propagation 38 * score defined by the @p diveset and whose solution value has not yet been rendered infeasible by propagation, 41 * The algorithm iteratively selects the the next (unfixed) candidate in the list, until either enough domain changes 42 * or the resolve frequency of the LP trigger an LP resolve (and hence, the set of potential candidates changes), 46 * After the set of remaining candidates is empty or the targeted depth is reached, the node LP is 49 * @see heur_guideddiving.c for an example implementation of a dive set controlling the diving algorithm. 51 * @note the node from where the algorithm is called is checked for a basic LP solution. If the solution 52 * is non-basic, e.g., when barrier without crossover is used, the method returns without performing a dive. 54 * @note currently, when multiple diving heuristics call this method and solve an LP at the same node, only the first
SCIP_RETCODE SCIPperformGenericDivingAlgorithm(SCIP *scip, SCIP_DIVESET *diveset, SCIP_SOL *worksol, SCIP_HEUR *heur, SCIP_RESULT *result, SCIP_Bool nodeinfeasible) Definition: objbranchrule.h:33 SCIP callable library. |