Scippy

SCIP

Solving Constraint Integer Programs

branch_stp.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-2018 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 scip.zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 /**@file branch_stp.h
16  * @brief Steiner vertex branching rule
17  * @author Daniel Rehfeldt
18  *
19  * The Steiner branching rule implemented in this file is described in
20  * "A Generic Approach to Solving the Steiner Tree Problem and Variants" by Daniel Rehfeldt.
21  * It removes includes and exludes Steiner vertices during branching.
22  *
23 */
24 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
25 
26 #ifndef __SCIP_BRANCH_STP_H__
27 #define __SCIP_BRANCH_STP_H__
28 
29 
30 #include "scip/scip.h"
31 
32 #ifdef __cplusplus
33 extern "C" {
34 #endif
35 
36 #define BRANCH_STP_VERTEX_KILLED -1
37 #define BRANCH_STP_VERTEX_NONTERM 0
38 #define BRANCH_STP_VERTEX_TERM 1
39 
40 
41 /** parse constraint name and apply changes to graph or array */
42 extern
44  SCIP* scip, /**< SCIP data structure */
45  int* vertexchgs, /**< array to store changes or NULL */
46  GRAPH* graph, /**< graph to modify or NULL */
47  const char* consname, /**< constraint name */
48  SCIP_Bool deletehistory /**< delete history of graph? */
49  );
50 
51 /** applies vertex changes caused by this branching rule, either on a graph or on an array */
52 extern
54  SCIP* scip, /**< SCIP data structure */
55  int* vertexchgs, /**< array to store changes or NULL */
56  GRAPH* graph /**< graph to apply changes on or NULL */
57  );
58 
59 /** applies vertex changes caused by this branching rule, either on a graph or on an array */
60 extern
62  const GRAPH* g, /**< graph data structure */
63  int* nodestate /**< node state array */
64  );
65 
66 /** creates the stp branching rule and includes it to SCIP */
67 extern
69  SCIP* scip /**< SCIP data structure */
70  );
71 
72 #ifdef __cplusplus
73 }
74 #endif
75 
76 #endif
Definition: grph.h:57
void SCIPStpBranchruleInitNodeState(const GRAPH *g, int *nodestate)
Definition: branch_stp.c:683
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
SCIP_RETCODE SCIPincludeBranchruleStp(SCIP *scip)
Definition: branch_stp.c:747
SCIP_RETCODE STPStpBranchruleParseConsname(SCIP *scip, int *vertexchgs, GRAPH *graph, const char *consname, SCIP_Bool deletehistory)
Definition: branch_stp.c:604
#define SCIP_Bool
Definition: def.h:62
SCIP_RETCODE SCIPStpBranchruleApplyVertexChgs(SCIP *scip, int *vertexchgs, GRAPH *graph)
Definition: branch_stp.c:708
SCIP callable library.