Toggle navigation
SCIP Optimization Suite
SCIP
SoPlex
ZIMPL
UG
GCG
Documentation
SCIP 9.2.0
SCIP 8.1.0
SCIP 7.0.3
SCIP 6.0.2
SCIP 5.0.1
SCIP 4.0.1
SCIP 3.2.1
SCIP
Solving Constraint Integer Programs
sepa_disjunctive.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-2017 Konrad-Zuse-Zentrum */
7
/* fuer Informationstechnik Berlin */
8
/* */
9
/* SCIP is distributed under the terms of the ZIB Academic License. */
10
/* */
11
/* You should have received a copy of the ZIB Academic License */
12
/* along with SCIP; see the file COPYING. If not email to scip@zib.de. */
13
/* */
14
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15
16
/**@file sepa_disjunctive.h
17
* @ingroup SEPARATORS
18
* @brief disjunctive cut separator
19
* @author Tobias Fischer
20
* @author Marc Pfetsch
21
*
22
* We separate disjunctive cuts for two term disjunctions of the form \f$x_1 = 0 \vee x_2 = 0\f$. They can be generated
23
* directly from the simplex tableau. For further information, we refer to@n
24
* "A complementarity-based partitioning and disjunctive cut algorithm for mathematical programming problems with
25
* equilibrium constraints"@n
26
* Júdice, J.J., Sherali, H.D., Ribeiro, I.M., Faustino, A.M., Journal of Global Optimization 36(1), 89–114 (2006)
27
*
28
* Cut coefficients belonging to integer variables can be strengthened by the 'monoidal cut strengthening' procedure, see@n
29
* "Strengthening cuts for mixed integer programs"@n
30
* Egon Balas, Robert G. Jeroslow, European Journal of Operational Research, Volume 4, Issue 4, 1980, Pages 224-234
31
*/
32
33
/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
34
35
#ifndef __SCIP_SEPA_DISJUNCTIVE_H__
36
#define __SCIP_SEPA_DISJUNCTIVE_H__
37
38
39
#include "
scip/scip.h
"
40
41
#ifdef __cplusplus
42
extern
"C"
{
43
#endif
44
45
/** creates the disjunctive cut separator and includes it in SCIP
46
*
47
* @ingroup SeparatorIncludes
48
*/
49
extern
50
SCIP_RETCODE
SCIPincludeSepaDisjunctive
(
51
SCIP
*
scip
/**< SCIP data structure */
52
);
53
54
#ifdef __cplusplus
55
}
56
#endif
57
58
#endif
Scip
Definition:
struct_scip.h:58
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition:
type_retcode.h:53
SCIPincludeSepaDisjunctive
SCIP_RETCODE SCIPincludeSepaDisjunctive(SCIP *scip)
Definition:
sepa_disjunctive.c:862
scip
Definition:
objbranchrule.h:33
scip.h
SCIP callable library.