SCIP Doxygen Documentation
Loading...
Searching...
No Matches
sepa_rlt.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 sepa_rlt.h
26
* @ingroup SEPARATORS
27
* @brief reformulation-linearization technique separator
28
* @author Fabian Wegscheider
29
* @author Ksenia Bestuzheva
30
*
31
*
32
* This separator generates a collection of cuts constructed by the reformulation-linearization technique (RLT).
33
* For an LP row L and a variable x in [lb,ub], L is multiplied either with (ub-x) or with (x-lb). All known terms that
34
* appear in the product are replaced by their respective auxiliary variable and all unknown terms are replaced by a
35
* suitable linear relaxation, e.g., McCormick. In general, the separator computes four different cuts for a row with
36
* finite sides and a variable with finite bounds.
37
*/
38
39
/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
40
41
#ifndef __SCIP_SEPA_RLT_H__
42
#define __SCIP_SEPA_RLT_H__
43
44
45
#include "
scip/scip.h
"
46
47
#ifdef __cplusplus
48
extern
"C"
{
49
#endif
50
51
/** creates the RLT separator and includes it in SCIP
52
*
53
* @ingroup SeparatorIncludes
54
*/
55
SCIP_EXPORT
56
SCIP_RETCODE
SCIPincludeSepaRlt
(
57
SCIP
*
scip
/**< SCIP data structure */
58
);
59
60
/**@addtogroup SEPARATORS
61
*
62
* @{
63
*/
64
65
/** @} */
66
67
#ifdef __cplusplus
68
}
69
#endif
70
71
#endif
SCIPincludeSepaRlt
SCIP_RETCODE SCIPincludeSepaRlt(SCIP *scip)
Definition
sepa_rlt.c:3299
i
int i
Definition
heur_rootsoldiving.c:212
scip
Definition
objbenders.h:44
scip.h
SCIP callable library.
Scip
Definition
struct_scip.h:70
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition
type_retcode.h:63
sepa_rlt.h
© 2002-2024 by Zuse Institute Berlin (ZIB),
Imprint
Generated by
1.10.0