prop_probing.h
Go to the documentation of this file.
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/ 49 int maxproprounds, /**< maximal number of propagation rounds (-1: no limit, 0: parameter settings) */ 57 /** analyses boundchanges resulting from probing on a variable and performs deduced fixations, aggregations, and domain tightenings 61 * variable fixations, aggregations, implications, and bound changes. Variable probingvar does not 76 SCIP_Real* leftimpllbs, /**< lower bounds after applying implications and cliques in left branch, or NULL */ 77 SCIP_Real* leftimplubs, /**< upper bounds after applying implications and cliques in left branch, or NULL */ 80 SCIP_Real* rightimpllbs, /**< lower bounds after applying implications and cliques in right branch, or NULL */ 81 SCIP_Real* rightimplubs, /**< upper bounds after applying implications and cliques in right branch, or NULL */ 84 int* nfixedvars, /**< pointer to counter which is increased by the number of deduced variable fixations */ 85 int* naggrvars, /**< pointer to counter which is increased by the number of deduced variable aggregations */ 86 int* nimplications, /**< pointer to counter which is increased by the number of deduced implications */ 87 int* nchgbds, /**< pointer to counter which is increased by the number of deduced bound tightenings */
SCIP_RETCODE SCIPincludePropProbing(SCIP *scip) SCIP_RETCODE SCIPanalyzeDeductionsProbing(SCIP *scip, SCIP_VAR *probingvar, SCIP_Real leftub, SCIP_Real rightlb, int nvars, SCIP_VAR **vars, SCIP_Real *leftimpllbs, SCIP_Real *leftimplubs, SCIP_Real *leftproplbs, SCIP_Real *leftpropubs, SCIP_Real *rightimpllbs, SCIP_Real *rightimplubs, SCIP_Real *rightproplbs, SCIP_Real *rightpropubs, int *nfixedvars, int *naggrvars, int *nimplications, int *nchgbds, SCIP_Bool *cutoff) SCIP_RETCODE SCIPapplyProbingVar(SCIP *scip, SCIP_VAR **vars, int nvars, int probingpos, SCIP_BOUNDTYPE boundtype, SCIP_Real bound, int maxproprounds, SCIP_Real *impllbs, SCIP_Real *implubs, SCIP_Real *proplbs, SCIP_Real *propubs, SCIP_Bool *cutoff) Definition: objbranchrule.h:33 SCIP callable library. |