benderscut_nogood.h
Go to the documentation of this file.
30 * The no-good cut is generated for the Benders' decomposition master problem if an integer solution is identified as
31 * infeasible in at least one CIP subproblems. The no-good cut is required, because the classical Benders' decomposition
32 * feasibility cuts (see benderscut_feas.c) will only cut off the solution \f$\bar{x}\f$ if the LP relaxation of the CIP
35 * Consider a Benders' decomposition subproblem that is a CIP and it infeasible. Let \f$S_{r}\f$ be the set of indices
43 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
Definition: struct_scip.h:68
SCIP_RETCODE SCIPincludeBenderscutNogood(SCIP *scip, SCIP_BENDERS *benders)
Definition: benderscut_nogood.c:366
type definitions for return codes for SCIP methods
Definition: struct_benders.h:57
type definitions for SCIP's main datastructure
type definitions for Benders' decomposition methods
common defines and data types used in all packages of SCIP
Definition: objbenders.h:43