Scippy

SCIP

Solving Constraint Integer Programs

bendersdefcuts.h
Go to the documentation of this file.
1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2 /* */
3 /* This file is part of the program and library */
4 /* SCIP --- Solving Constraint Integer Programs */
5 /* */
6 /* Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB) */
7 /* */
8 /* Licensed under the Apache License, Version 2.0 (the "License"); */
9 /* you may not use this file except in compliance with the License. */
10 /* You may obtain a copy of the License at */
11 /* */
12 /* http://www.apache.org/licenses/LICENSE-2.0 */
13 /* */
14 /* Unless required by applicable law or agreed to in writing, software */
15 /* distributed under the License is distributed on an "AS IS" BASIS, */
16 /* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. */
17 /* See the License for the specific language governing permissions and */
18 /* limitations under the License. */
19 /* */
20 /* You should have received a copy of the Apache-2.0 license */
21 /* along with SCIP; see the file LICENSE. If not visit scipopt.org. */
22 /* */
23 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
24 
25 /**@file bendersdefcuts.c
26  * @brief default cuts for Benders' decomposition
27  * @author Stephen J. Maher
28  */
29 
30 /*--+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
31 
32 #ifndef __SCIP_BENDERSDEFCUTS_H__
33 #define __SCIP_BENDERSDEFCUTS_H__
34 
35 /* include header files here, such that the user only has to include bendersdefcuts.h */
36 #include "scip/benderscut_feas.h"
38 #include "scip/benderscut_int.h"
39 #include "scip/benderscut_nogood.h"
40 #include "scip/benderscut_opt.h"
41 
42 #ifdef __cplusplus
43 extern "C" {
44 #endif
45 
46 /** includes default Benders' decomposition cuts plugins into SCIP and the associated Benders' decomposition */
47 SCIP_EXPORT
49  SCIP* scip, /**< SCIP data structure */
50  SCIP_BENDERS* benders /**< Benders' decomposition struture */
51  );
52 
53 #ifdef __cplusplus
54 }
55 #endif
56 
57 #endif
Generates a Laporte and Louveaux Benders&#39; decomposition integer cut.
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:63
Generates a standard Benders&#39; decomposition optimality cut.
Standard feasibility cuts for Benders&#39; decomposition.
SCIP_RETCODE SCIPincludeBendersDefaultCuts(SCIP *scip, SCIP_BENDERS *benders)
Alternative feasibility cuts for Benders&#39; decomposition.
Generates a no-good cut for solutions that are integer infeasible.