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
presol_inttobinary.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 presol_inttobinary.h
17
* @ingroup PRESOLVERS
18
* @brief presolver that converts integer variables with domain [a,a+1] to binaries
19
* @author Tobias Achterberg
20
*
21
* This presolver converts all integer variables with domain \f$[a,a+1]\f$ to binaries variables. This is done by
22
* creating a new binary variable \f$y\f$ which will be aggregated to the old variable \f$x\f$ such that
23
* \f[
24
* x = y + a
25
* \f]
26
*/
27
28
/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
29
30
#ifndef __SCIP_PRESOL_INTTOBINARY_H__
31
#define __SCIP_PRESOL_INTTOBINARY_H__
32
33
34
#include "
scip/scip.h
"
35
36
#ifdef __cplusplus
37
extern
"C"
{
38
#endif
39
40
/** creates the inttobinary presolver and includes it in SCIP
41
*
42
* @ingroup PresolverIncludes
43
*/
44
extern
45
SCIP_RETCODE
SCIPincludePresolInttobinary
(
46
SCIP
*
scip
/**< SCIP data structure */
47
);
48
49
#ifdef __cplusplus
50
}
51
#endif
52
53
#endif
Scip
Definition:
struct_scip.h:58
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition:
type_retcode.h:53
SCIPincludePresolInttobinary
SCIP_RETCODE SCIPincludePresolInttobinary(SCIP *scip)
Definition:
presol_inttobinary.c:154
scip
Definition:
objbranchrule.h:33
scip.h
SCIP callable library.