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
branch_inference.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 branch_inference.h
17
* @ingroup BRANCHINGRULES
18
* @brief inference history branching rule
19
* @author Tobias Achterberg
20
* @author Timo Berthold
21
* @author Stefan Heinz
22
*
23
* The inference history branching rule is based on the average number of deductions obtained after
24
* branching this variable upwards and downwards.
25
* Variables which cause many problem reductions are preferred since they are more likely to drive
26
* the created sub-tree towards infeasibility.
27
* Inference history of the variables is updated during the branch-and-bound search.
28
*
29
* For a more detailed description and a comparison between the inference rule and other branching rules
30
* in SCIP, we refer to
31
*
32
* @par
33
* Tobias Achterberg@n
34
* Constraint Integer Programming@n
35
* PhD Thesis, Technische Universität Berlin, 2007@n
36
*
37
38
*/
39
40
/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
41
42
#ifndef __SCIP_BRANCH_INFERENCE_H__
43
#define __SCIP_BRANCH_INFERENCE_H__
44
45
46
#include "
scip/scip.h
"
47
48
#ifdef __cplusplus
49
extern
"C"
{
50
#endif
51
52
/** creates the inference history branching rule and includes it in SCIP
53
*
54
* @ingroup BranchingRuleIncludes
55
*/
56
extern
57
SCIP_RETCODE
SCIPincludeBranchruleInference
(
58
SCIP
*
scip
/**< SCIP data structure */
59
);
60
61
#ifdef __cplusplus
62
}
63
#endif
64
65
#endif
SCIPincludeBranchruleInference
SCIP_RETCODE SCIPincludeBranchruleInference(SCIP *scip)
Definition:
branch_inference.c:654
Scip
Definition:
struct_scip.h:58
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition:
type_retcode.h:53
scip
Definition:
objbranchrule.h:33
scip.h
SCIP callable library.