Scippy

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-2021 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 visit scipopt.org. */
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/def.h"
47 #include "scip/type_retcode.h"
48 #include "scip/type_scip.h"
49 
50 #ifdef __cplusplus
51 extern "C" {
52 #endif
53 
54 /** creates the inference history branching rule and includes it in SCIP
55  *
56  * @ingroup BranchingRuleIncludes
57  */
60  SCIP* scip /**< SCIP data structure */
61  );
62 
63 #ifdef __cplusplus
64 }
65 #endif
66 
67 #endif
#define SCIP_EXPORT
Definition: def.h:100
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:54
type definitions for return codes for SCIP methods
type definitions for SCIP&#39;s main datastructure
SCIP_EXPORT SCIP_RETCODE SCIPincludeBranchruleInference(SCIP *scip)
common defines and data types used in all packages of SCIP