Scippy

SCIP

Solving Constraint Integer Programs

reduce.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-2022 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 
16 /**@file reduce.h
17  * @brief includes various reduction methods for Steiner tree problems
18  * @author Daniel Rehfeldt
19  *
20  */
21 
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
23 
24 #ifndef APPLICATIONS_STP_SRC_REDUCE_H_
25 #define APPLICATIONS_STP_SRC_REDUCE_H_
26 
27 
28 #include "scip/scip.h"
29 #include "graph.h"
30 #include "mincut.h"
31 #include "bidecomposition.h"
32 #include "stpvector.h"
33 #include "redcosts.h"
34 #include "reducedefs.h"
35 #include "extreducedefs.h"
36 #include "termsepadefs.h"
37 
38 
39 #ifdef __cplusplus
40 extern "C" {
41 #endif
42 
43 
44 /* reduce_base.c
45  */
46 extern int reduce_getMinNreductions(const GRAPH*, int);
47 extern SCIP_RETCODE reduce_baseInit(SCIP*, const GRAPH*, REDBASE**);
48 extern void reduce_baseFree(SCIP*, REDBASE**);
52 extern SCIP_RETCODE reduce_hc(SCIP*, GRAPH*, SCIP_Real*, int);
54 extern SCIP_RETCODE reduce_nw(SCIP*, GRAPH*, SCIP_Real*, int);
55 extern SCIP_RETCODE reduce_dc(SCIP*, GRAPH*, SCIP_Real*, int);
57 extern SCIP_RETCODE reduce_redLoopPc(SCIP*, REDSOL*, GRAPH*, PATH*, PATH*, SCIP_Real*, int*, int*, int*, int*, int*, int*, STP_Bool*,
59 extern SCIP_RETCODE reduce_redLoopMw(SCIP*, REDSOL*, GRAPH*, PATH*, SCIP_Real*, int*, int*, int*, STP_Bool*,
61 extern SCIP_RETCODE reduce_exec(SCIP*, GRAPH*, REDSOL*, int, int, SCIP_Bool);
62 
63 /* reduce_sol.c
64  */
66 extern void reduce_sollocalFree(SCIP*, REDSOLLOCAL**);
77 extern void reduce_solFree(SCIP*, REDSOL**);
79 extern void reduce_solFinalizeLocal(SCIP*, const GRAPH*, REDSOL*);
80 extern void reduce_solReInitLocal(const GRAPH*, REDSOL*);
81 extern void reduce_solPack(const GRAPH*, const int*, int, REDSOL*);
85 extern void reduce_solLevelTopRemove(SCIP*, REDSOL*);
86 extern void reduce_solLevelTopClean(SCIP*, REDSOL*);
87 extern void reduce_solLevelTopTransferSolBack(const int*, REDSOL*);
89 extern void reduce_solSetOffset(SCIP_Real, REDSOL*);
90 extern SCIP_Real reduce_solGetOffset(const REDSOL*);
92 extern const int* reduce_solGetNodesolPointer(const REDSOL*);
96 extern SCIP_RETCODE reduce_solAddNodesol(const GRAPH*, const int*, REDSOL*);
97 extern void reduce_solGetNodesol(const GRAPH*, REDSOL*, int*);
98 
99 
100 /* reduce_alt.c
101  */
102 extern SCIP_RETCODE reduce_impliedProfitBased(SCIP*, int, GRAPH*, int*, SCIP_Real*, int*);
104 extern SCIP_RETCODE reduce_ans(SCIP*, GRAPH*, int*);
105 extern SCIP_RETCODE reduce_ansAdv(SCIP*, GRAPH*, int*, SCIP_Bool);
106 extern SCIP_RETCODE reduce_ansAdv2(SCIP*, GRAPH*, int*);
107 extern SCIP_RETCODE reduce_nnp(SCIP*, GRAPH*, int*);
108 extern SCIP_RETCODE reduce_nv(SCIP*, GRAPH*, PATH*, SCIP_Real*, int*, int*, int*, int*);
109 extern SCIP_RETCODE reduce_nvAdv(SCIP*, const int*, GRAPH*, PATH*, SCIP_Real*, SCIP_Real*, int*, int*, int*, int*, int*);
110 extern SCIP_RETCODE reduce_sl(SCIP*, const int*, GRAPH*, PATH*, SCIP_Real*, int*, int*, STP_Bool*, int*, int*);
111 extern SCIP_RETCODE reduce_nsvImplied(SCIP*, const SD*, GRAPH*, int*, SCIP_Real*, int*);
112 extern SCIP_RETCODE reduce_nsvImpliedRecord(SCIP*, const SD*, GRAPH*, STP_Vectype(int)*);
113 extern SCIP_RETCODE reduce_cnsAdv(SCIP*, GRAPH*, int*, int*);
114 extern SCIP_RETCODE reduce_npv(SCIP*, GRAPH*, PATH*, int*, int*, int*, int*, int);
115 extern SCIP_RETCODE reduce_chain2(SCIP*, GRAPH*, PATH*, int*, int*, int*, int*, int);
116 
117 
118 /*
119  * reduce_sd.c
120  */
121 extern SCIP_RETCODE reduce_sdEdgeCliqueStar(SCIP*, int, GRAPH*, int*);
122 extern SCIP_RETCODE reduce_sdImpLongEdge(SCIP*, const int*, GRAPH*, SD*, int*);
123 extern SCIP_RETCODE reduce_sdsp(SCIP*, GRAPH*, PATH*, int*, int*, int*, int*, int*, int*, int, SCIP_Bool);
124 extern SCIP_RETCODE reduce_sdStar(SCIP*, int, SCIP_Bool, GRAPH*, SCIP_Real*, int*, int*, STP_Bool*, DHEAP*, int*);
125 extern SCIP_RETCODE reduce_sdStarBiased(SCIP*, int, SCIP_Bool, GRAPH*, int*);
127 extern SCIP_RETCODE reduce_sdStarPc(SCIP*, int, const int*, GRAPH*, SCIP_Real*, int*, int*, STP_Bool*, DHEAP*, int*);
128 extern SCIP_RETCODE reduce_sdStarPc2(SCIP*, int, SCIP_Bool, GRAPH*, SCIP_Real*, int*, int*, STP_Bool*, DHEAP*, int*);
129 extern SCIP_RETCODE reduce_sdWalk(SCIP*, int, const int*, GRAPH*, int*, SCIP_Real*, int*, int*, int*, STP_Bool*, int*);
130 extern SCIP_RETCODE reduce_sdWalk_csr(SCIP*, int, const int*, GRAPH*, int*, SCIP_Real*, int*, STP_Bool*, DHEAP*, int*);
131 extern SCIP_RETCODE reduce_sdWalkTriangle(SCIP*, int, SCIP_Bool, GRAPH*, int*, SCIP_Real*, int*, STP_Bool*, DHEAP*, int*);
132 extern SCIP_RETCODE reduce_sdWalkExt(SCIP*, int, SCIP_Bool, GRAPH*, SCIP_Real*, int*, int*, int*, STP_Bool*, int*);
133 extern SCIP_RETCODE reduce_sdWalkExt2(SCIP*, int, const int*, GRAPH*, int*, SCIP_Real*, int*, int*, int*, STP_Bool*, int*);
134 extern SCIP_RETCODE reduce_sdspSap(SCIP*, GRAPH*, PATH*, PATH*, int*, int*, int*, int*, int*, int*, int);
135 extern SCIP_RETCODE reduce_sd(SCIP*, GRAPH*, REDBASE*, int*);
136 extern SCIP_RETCODE reduce_sdBiased(SCIP*, SD*, GRAPH*, int*);
138 extern SCIP_RETCODE reduce_sdPc(SCIP*, GRAPH*, PATH*, int*, int*, int*, int*, int*, int*);
139 extern SCIP_Real reduce_sdGetSd(const GRAPH*, int, int, SCIP_Real, SCIP_Real, SD*);
140 extern SCIP_Real reduce_sdGetSdIntermedTerms(const GRAPH*, int, int, SCIP_Real, SCIP_Real, SD*);
141 extern SCIP_RETCODE reduce_getSdByPaths(SCIP*, GRAPH*, PATH*, PATH*, SCIP_Real*, SCIP_Real, int*, int*, int*, int*, int*, int, int, int, SCIP_Bool, SCIP_Bool);
142 extern SCIP_RETCODE reduce_bdk(SCIP*, int, GRAPH*, int*);
143 extern SCIP_RETCODE reduce_bdkBiased(SCIP*, int, GRAPH*, int*);
144 extern SCIP_RETCODE reduce_bdkWithSd(SCIP*, int, SD*, GRAPH*, int*);
145 
146 
147 /*
148  * reduce_path.c
149  */
150 extern SCIP_RETCODE reduce_pathreplace(SCIP*, GRAPH*, int*);
152 
153 
154 /* reduce_sdcomp.c
155  */
156 extern SCIP_RETCODE reduce_bd34(SCIP*, GRAPH*, PATH*, PATH*, int*, int*, int*, int*, int*, int*, int, SCIP_Real*);
157 extern SCIP_RETCODE reduce_bd34WithSd(SCIP*, GRAPH*, SDGRAPH*, PATH*, int*, int*);
158 
159 
160 /* reduce_bnd.c
161  */
162 extern SCIP_RETCODE reduce_bound(SCIP*, GRAPH*, PATH*, SCIP_Real*, SCIP_Real*, SCIP_Real*, int*, int*, int*, int*);
163 extern SCIP_RETCODE reduce_boundMw(SCIP*, GRAPH*, PATH*, SCIP_Real*, int*, int*, int*, int*, int*);
164 extern SCIP_RETCODE reduce_boundPruneHeur(SCIP*, GRAPH*, PATH*, SCIP_Real*, SCIP_Real*, SCIP_Real*, SCIP_Real*, int*, int*, int*, const int*, const int*, int*, int);
165 extern SCIP_RETCODE reduce_boundHop(SCIP*, GRAPH*, PATH*, SCIP_Real*, SCIP_Real*, SCIP_Real*, int*, int*, int*, int*);
166 extern SCIP_RETCODE reduce_boundHopR(SCIP*, GRAPH*, PATH*, SCIP_Real*, SCIP_Real*, SCIP_Real*, int*, int*, int*, int*, int*);
167 extern SCIP_RETCODE reduce_boundHopRc(SCIP*, GRAPH*, PATH*, SCIP_Real*, SCIP_Real*, SCIP_Real*, SCIP_Real, int*, int*, int*, int*, int*, SCIP_Bool);
169 
170 /* reduce_da.c
171  */
173 extern SCIP_RETCODE reduce_dapaths(SCIP*, GRAPH*, SCIP_Real*, int*);
174 extern SCIP_RETCODE reduce_daSlackPrune(SCIP*, GRAPH*, int, SCIP_Bool, int*, int*, int*, SCIP_Real*, SCIP_Bool*, SCIP_Bool*);
175 extern SCIP_RETCODE reduce_daPcMw(SCIP*, GRAPH*, const RPDA*, REDSOLLOCAL*, PATH*, SCIP_Real*, int*, int*, int*, STP_Bool*, int*, SCIP_RANDNUMGEN*, SCIP_Real);
176 
177 /* reduce_ext.c
178  */
180 extern SCIP_RETCODE reduce_extendedCheck3Tree(SCIP*, const GRAPH*, int, const SCIP_Real*, const SCIP_Real*, const PATH*, const int*, SCIP_Real, const int*, int, SCIP_Real*, SCIP_Bool*, unsigned int*, int*, SCIP_Bool*);
181 extern int reduce_extendedEdge(SCIP*, GRAPH*, const PATH*, const SCIP_Real*, const SCIP_Real*, const int*, SCIP_Real, int, STP_Bool*, SCIP_Bool);
182 
183 
184 /* reduce_simple.c
185  */
186 extern void reduce_nodesDeg1(SCIP*, GRAPH*);
187 extern SCIP_RETCODE reduce_simple(SCIP*, GRAPH*, SCIP_Real*, int*, int*, int*);
188 extern void reduce_simple_dc(SCIP*, GRAPH*);
193 extern SCIP_RETCODE reduce_fixedConflicts(SCIP*, const int*, GRAPH*, int*);
195 extern SCIP_RETCODE reduce_rpt(SCIP*, GRAPH*, SCIP_Real*, int*);
196 extern void reduce_identifyNonLeafTerms(SCIP*, GRAPH*);
200 
201 
202 /* reduce_sepa.c
203  */
208 
209 
210 
211 /* reduce_pcsimple.c
212  */
213 extern SCIP_RETCODE reduce_simple_mw(SCIP*, GRAPH*, int*, SCIP_Real*, int*);
214 extern SCIP_RETCODE reduce_simple_pc(SCIP*, const int*, GRAPH*, SCIP_Real*, int*, int*, int*);
218 
219 
220 /* reduce_util.c
221  */
222 extern void reduce_impliedNodesGet(SCIP*, const GRAPH*, STP_Vectype(int)*);
223 extern void reduce_impliedNodesRepair(SCIP*, const GRAPH*, int, int, STP_Vectype(int)*);
224 extern SCIP_Bool reduce_impliedNodesIsValid(const GRAPH*, const STP_Vectype(int)*);
227 extern void reduce_blctreeFree(SCIP*, BLCTREE**);
228 extern int reduce_blctreeGetMstNedges(const BLCTREE*);
229 extern void reduce_blctreeGetMstEdges(const GRAPH*, const BLCTREE*, int*);
230 extern void reduce_blctreeGetMstEdgesToCutDist(const GRAPH*, const BLCTREE*, SCIP_Real* RESTRICT, SCIP_Real* RESTRICT);
231 extern void reduce_blctreeGetMstBottlenecks(const GRAPH*, const BLCTREE*, SCIP_Real*);
232 extern void reduce_blctreeGetMstEdgesState(const GRAPH*, const BLCTREE*, SCIP_Bool*);
234 extern SCIP_RETCODE reduce_dcmstInit(SCIP*, int, DCMST**);
235 extern void reduce_dcmstFree(SCIP*, DCMST**);
237 extern void reduce_dcmstAddNode(SCIP*, const CSR*, const SCIP_Real*, DCMST*, CSR*);
238 extern void reduce_dcmstAddNodeInplace(SCIP*, const SCIP_Real*, DCMST*, CSR*);
239 extern void reduce_dcmstGet0NodeMst(SCIP*, CSR*);
240 extern void reduce_dcmstGet1NodeMst(SCIP*, CSR*);
241 extern void reduce_dcmstGet2NodeMst(SCIP*, SCIP_Real, CSR*);
243 extern SCIP_Real reduce_dcmstGetExtWeight(SCIP*, const CSR*, const SCIP_Real*, DCMST*);
244 extern SCIP_Real reduce_dcmstGetWeight(SCIP*, const CSR*);
245 extern int reduce_dcmstGetMaxnnodes(const DCMST*);
247 extern SCIP_RETCODE reduce_starInit(SCIP*, int, STAR**);
248 extern void reduce_starFree(SCIP*, STAR**);
249 extern void reduce_starReset(const GRAPH*, int, STAR*);
250 extern void reduce_starResetWithEdges(const GRAPH*, const STP_Vectype(int), STAR*);
251 extern const int* reduce_starGetNext(STAR*, int*);
252 extern const int* reduce_starGetNextAndPosition(STAR*, int*, int*);
253 extern const int* reduce_starGetRuledOutEdges(STAR*, int*);
254 extern int reduce_starGetCenter(const STAR*);
255 extern void reduce_starCurrentSetRuledOut(STAR*);
256 extern void reduce_starCurrentSetFailed(STAR*);
259 
260 
261 /* reduce_sdutil.c
262  */
263 extern SCIP_RETCODE reduce_sdneighborInit(SCIP*, const GRAPH*, SDN**);
264 
265 extern void reduce_sdneighborGetCloseTerms(const GRAPH*, const SDN*, int, SCIP_Real, int* RESTRICT, SCIP_Real* RESTRICT, int* RESTRICT);
266 extern void reduce_sdneighborFree(SCIP*, SDN**);
267 extern const SCIP_Bool* reduce_sdneighborGetBlocked(const SDN*);
271 extern void reduce_sdprofitFree(SCIP*, SDPROFIT**);
274 extern void reduce_sdprofitPrintStats(const GRAPH*, const SDPROFIT*);
275 extern SCIP_RETCODE reduce_sdInit(SCIP*, GRAPH*, SD**);
279 extern SCIP_RETCODE reduce_sdRepairSetUp(SCIP*, const GRAPH*, SD*);
280 extern SCIP_RETCODE reduce_sdAddNeighborSd(SCIP*, const GRAPH*, SD*);
281 extern void reduce_sdFree(SCIP*, SD**);
282 extern SCIP_RETCODE reduce_sdGetSdsCliquegraph(SCIP*, const GRAPH*, int, const int*, DIJK*, SD*, GRAPH*);
283 
284 
285 /* reduce_sdgraph.c
286  */
287 extern SCIP_RETCODE reduce_sdgraphInit(SCIP*, const GRAPH*, SDGRAPH**);
289 extern SCIP_RETCODE reduce_sdgraphInitBiased(SCIP*, const GRAPH*, const SDPROFIT*, SDGRAPH**);
293 extern const int* reduce_sdgraphGetOrgnodesToSdMap(const SDGRAPH*);
295 extern const STP_Bool* reduce_sdgraphGetMstHalfMark(const SDGRAPH*);
297 extern SCIP_Bool reduce_sdgraphEdgeIsInMst(const SDGRAPH*, int);
299 extern SCIP_Real reduce_sdgraphGetSd(int, int, SDGRAPH*);
300 extern void reduce_sdgraphFree(SCIP*, SDGRAPH**);
302 extern void reduce_sdgraphInsertEdge(SCIP*, int, int, SCIP_Real, int, int* RESTRICT, SDGRAPH*, SCIP_Bool*);
304 extern void reduce_sdgraphMstSortCosts(SDGRAPH*);
305 
306 
307 /* reduce_termsepa.c
308  */
321 
322 
323 /* reduce_termsepada.c
324  */
326 extern SCIP_RETCODE reduce_termsepaDa(SCIP*, GRAPH*, int*);
327 
328 
329 /* reduce_termsepafull.c
330  */
331 extern SCIP_RETCODE reduce_termsepaFull(SCIP*, GRAPH*, int*, REDBASE*, int*);
332 
333 #ifdef __cplusplus
334 }
335 #endif
336 
337 
338 #endif /* APPLICATIONS_STP_SRC_REDUCE_H_ */
void reduce_removeDeg0NonLeafTerms(SCIP *, GRAPH *, SCIP_Real *)
#define STP_Vectype(type)
Definition: stpvector.h:44
SCIP_RETCODE reduce_sdprofitInit1stOnly(SCIP *, const GRAPH *, const SCIP_Real *, SDPROFIT **)
SCIP_RETCODE reduce_sdInit(SCIP *, GRAPH *, SD **)
SCIP_RETCODE reduce_sdgraphMstBuild(SCIP *, const GRAPH *, SDGRAPH *)
SCIP_RETCODE reduce_ans(SCIP *, GRAPH *, int *)
Definition: reduce_alt.c:1470
SCIP_RETCODE reduce_sdgraphInit(SCIP *, const GRAPH *, SDGRAPH **)
SCIP_RETCODE reduce_boundHopRc(SCIP *, GRAPH *, PATH *, SCIP_Real *, SCIP_Real *, SCIP_Real *, SCIP_Real, int *, int *, int *, int *, int *, SCIP_Bool)
Definition: reduce_bnd.c:1646
SCIP_RETCODE reduce_bdk(SCIP *, int, GRAPH *, int *)
SCIP_RETCODE reduce_da(SCIP *, GRAPH *, const RPDA *, REDSOLLOCAL *, SCIP_Real *, int *, SCIP_RANDNUMGEN *)
Definition: reduce_da.c:2471
SCIP_RETCODE reduce_simple_sap(SCIP *, GRAPH *, SCIP_Real *, int *)
SCIP_RETCODE reduce_ansAdv2(SCIP *, GRAPH *, int *)
Definition: reduce_alt.c:1656
void reduce_nodesDeg1(SCIP *, GRAPH *)
SCIP_RETCODE reduce_fixedConflicts(SCIP *, const int *, GRAPH *, int *)
const int * reduce_starGetNextAndPosition(STAR *, int *, int *)
Definition: reduce_util.c:1886
SCIP_Bool reduce_sollocalHasUpperBound(const REDSOLLOCAL *)
Definition: reduce_sol.c:675
SCIP_RETCODE reduce_nnp(SCIP *, GRAPH *, int *)
Definition: reduce_alt.c:2534
void reduce_solLevelTopTransferSolBack(const int *, REDSOL *)
Definition: reduce_sol.c:1010
SCIP_RETCODE reduce_termcompChangeSubgraphToBottleneck(SCIP *, GRAPH *, TERMCOMP *, SCIP_Bool *)
void reduce_compbuilderPrintSeparators(const GRAPH *, const COMPBUILDER *)
SCIP_RETCODE reduce_nw(SCIP *, GRAPH *, SCIP_Real *, int)
Definition: reduce_base.c:1669
SCIP_RETCODE reduce_solLevelTopTransferSolTo(const int *, REDSOL *)
Definition: reduce_sol.c:1067
void reduce_blctreeGetMstEdges(const GRAPH *, const BLCTREE *, int *)
Definition: reduce_util.c:1230
SCIP_RETCODE reduce_sdWalkTriangle(SCIP *, int, SCIP_Bool, GRAPH *, int *, SCIP_Real *, int *, STP_Bool *, DHEAP *, int *)
Definition: reduce_sd.c:3011
SCIP_RETCODE reduce_impliedProfitBased(SCIP *, int, GRAPH *, int *, SCIP_Real *, int *)
Definition: reduce_alt.c:2609
SCIP_RETCODE reduce_solGetEdgesol(SCIP *, GRAPH *, REDSOL *, SCIP_Real *, int *)
Definition: reduce_sol.c:1197
void reduce_identifyNonLeafTerms(SCIP *, GRAPH *)
int reduce_getMinNreductions(const GRAPH *, int)
Definition: reduce_base.c:1087
SCIP_RETCODE reduce_solInit(SCIP *, const GRAPH *, SCIP_Bool, REDSOL **)
Definition: reduce_sol.c:687
SCIP_Bool reduce_starAllAreChecked(const STAR *)
Definition: reduce_util.c:2002
void reduce_solFinalizeLocal(SCIP *, const GRAPH *, REDSOL *)
Definition: reduce_sol.c:735
void reduce_termcompChangeSubgraphToOrgCosts(const GRAPH *, TERMCOMP *)
SCIP_RETCODE reduce_redLoopPc(SCIP *, REDSOL *, GRAPH *, PATH *, PATH *, SCIP_Real *, int *, int *, int *, int *, int *, int *, STP_Bool *, SCIP_Bool, SCIP_Bool, SCIP_Bool, int, SCIP_Bool, SCIP_Bool, SCIP_Bool)
Definition: reduce_base.c:1896
void reduce_sollocalSetOffset(SCIP_Real, REDSOLLOCAL *)
Definition: reduce_sol.c:488
void reduce_termsepaGetNextComp(SCIP *, const GRAPH *, TERMSEPAS *, COMPBUILDER *, SCIP_Bool *)
void reduce_impliedNodesGet(SCIP *, const GRAPH *, STP_Vectype(int) *)
Definition: reduce_util.c:937
SCIP_RETCODE reduce_nvAdv(SCIP *, const int *, GRAPH *, PATH *, SCIP_Real *, SCIP_Real *, int *, int *, int *, int *, int *)
Definition: reduce_alt.c:1121
void reduce_sdneighborGetCloseTerms(const GRAPH *, const SDN *, int, SCIP_Real, int *RESTRICT, SCIP_Real *RESTRICT, int *RESTRICT)
SCIP_RETCODE reduce_sdStarPc(SCIP *, int, const int *, GRAPH *, SCIP_Real *, int *, int *, STP_Bool *, DHEAP *, int *)
Definition: reduce_sd.c:3546
SCIP_Real reduce_sdgraphGetSd(int, int, SDGRAPH *)
SCIP_RETCODE reduce_compbuilderInit(SCIP *, const GRAPH *, COMPBUILDER **)
void reduce_dcmstGet3NodeMst(SCIP *, SCIP_Real, SCIP_Real, SCIP_Real, CSR *)
Definition: reduce_util.c:1528
SCIP_RETCODE reduce_boundPruneHeur(SCIP *, GRAPH *, PATH *, SCIP_Real *, SCIP_Real *, SCIP_Real *, SCIP_Real *, int *, int *, int *, const int *, const int *, int *, int)
Definition: reduce_bnd.c:1237
void reduce_sdgraphInitOrderedMstCosts(SDGRAPH *)
SCIP_RETCODE reduce_sdprofitBuildFromBLC(SCIP *, const GRAPH *, const BLCTREE *, SCIP_Bool, SDPROFIT *)
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:54
includes various files containing graph methods used for Steiner tree problems
SCIP_RETCODE reduce_redLoopMw(SCIP *, REDSOL *, GRAPH *, PATH *, SCIP_Real *, int *, int *, int *, STP_Bool *, STP_Bool, STP_Bool, STP_Bool, int, SCIP_Bool, SCIP_Bool)
Definition: reduce_base.c:1771
void reduce_sdgraphFree(SCIP *, SDGRAPH **)
SCIP_RETCODE reduce_nonTerminalComponents(SCIP *, const CUTNODES *, GRAPH *, SCIP_Real *, int *)
Definition: reduce_sepa.c:1004
void reduce_solGetNodesol(const GRAPH *, REDSOL *, int *)
Definition: reduce_sol.c:1176
SCIP_RETCODE reduce_sdInitBiased(SCIP *, GRAPH *, SD **)
SCIP_RETCODE reduce_unconnectedRpcRmwInfeas(SCIP *, GRAPH *, SCIP_Real *, SCIP_Bool *)
SCIP_Bool reduce_solUsesNodesol(const REDSOL *)
Definition: reduce_sol.c:1236
void reduce_blctreeGetMstEdgesState(const GRAPH *, const BLCTREE *, SCIP_Bool *)
Definition: reduce_util.c:1315
SCIP_Real reduce_compbuilderGetSubNodesRatio(const COMPBUILDER *)
SCIP_RETCODE reduce_sollocalInit(SCIP *, const GRAPH *, REDSOLLOCAL **)
Definition: reduce_sol.c:447
SCIP_RETCODE reduce_dcmstInit(SCIP *, int, DCMST **)
Definition: reduce_util.c:1385
SCIP_RETCODE reduce_sdgraphInitBiased(SCIP *, const GRAPH *, const SDPROFIT *, SDGRAPH **)
SCIP_RETCODE reduce_sdStar(SCIP *, int, SCIP_Bool, GRAPH *, SCIP_Real *, int *, int *, STP_Bool *, DHEAP *, int *)
Definition: reduce_sd.c:3202
SCIP_RETCODE reduce_dc(SCIP *, GRAPH *, SCIP_Real *, int)
Definition: reduce_base.c:1729
int reduce_starGetCenter(const STAR *)
Definition: reduce_util.c:1853
const int * reduce_starGetRuledOutEdges(STAR *, int *)
Definition: reduce_util.c:1918
SCIP_Bool reduce_starHasPromisingEdges(const STAR *)
Definition: reduce_util.c:1990
SCIP_RETCODE reduce_starInit(SCIP *, int, STAR **)
Definition: reduce_util.c:1725
const SCIP_Real * reduce_sdgraphGetOrderedMstCosts(const SDGRAPH *)
SCIP_RETCODE reduce_sollocalRebuildTry(SCIP *, GRAPH *, REDSOLLOCAL *)
Definition: reduce_sol.c:507
SCIP_RETCODE reduce_npv(SCIP *, GRAPH *, PATH *, int *, int *, int *, int *, int)
Definition: reduce_alt.c:2067
SCIP_Real reduce_solGetUpperBoundWithOffset(const REDSOL *)
Definition: reduce_sol.c:1263
header only, simple implementation of an STL like vector
several decomposition methods for Steiner tree problems
SCIP_RETCODE reduce_bdkWithSd(SCIP *, int, SD *, GRAPH *, int *)
SCIP_RETCODE reduce_blctreeInit(SCIP *, GRAPH *, BLCTREE **)
Definition: reduce_util.c:1168
SCIP_RETCODE reduce_solInitLocal(SCIP *, const GRAPH *, REDSOL *, REDSOLLOCAL **)
Definition: reduce_sol.c:717
SCIP_RETCODE reduce_daPcMw(SCIP *, GRAPH *, const RPDA *, REDSOLLOCAL *, PATH *, SCIP_Real *, int *, int *, int *, STP_Bool *, int *, SCIP_RANDNUMGEN *, SCIP_Real)
Definition: reduce_da.c:3174
SCIP_RETCODE reduce_sdAddNeighborSd(SCIP *, const GRAPH *, SD *)
SCIP_Bool reduce_sdgraphHasOrderedMstCosts(const SDGRAPH *)
SCIP_RETCODE reduce_sollocalUpdateNodesol(SCIP *, const int *, GRAPH *, REDSOLLOCAL *)
Definition: reduce_sol.c:565
SCIP_RETCODE reduce_termsepaFull(SCIP *, GRAPH *, int *, REDBASE *, int *)
void reduce_impliedNodesRepair(SCIP *, const GRAPH *, int, int, STP_Vectype(int) *)
Definition: reduce_util.c:962
SCIP_RETCODE reduce_termcompInitTbottleneck(SCIP *, const int *, TERMCOMP *)
SCIP_Real reduce_dcmstGetExtWeight(SCIP *, const CSR *, const SCIP_Real *, DCMST *)
Definition: reduce_util.c:1541
SCIP_RETCODE reduce_sd(SCIP *, GRAPH *, REDBASE *, int *)
Definition: reduce_sd.c:1517
void reduce_dcmstAddNode(SCIP *, const CSR *, const SCIP_Real *, DCMST *, CSR *)
Definition: reduce_util.c:1411
SCIP_RETCODE reduce_simple_hc(SCIP *, GRAPH *, SCIP_Real *, int *)
SCIP_RETCODE reduce_sdImpLongEdge(SCIP *, const int *, GRAPH *, SD *, int *)
Definition: reduce_sd.c:1421
void reduce_sdneighborFree(SCIP *, SDN **)
void reduce_sdprofitPrintStats(const GRAPH *, const SDPROFIT *)
SCIP_RETCODE reduce_sdBiasedNeighbor(SCIP *, SD *, GRAPH *, int *)
Definition: reduce_sd.c:1927
SCIP_RETCODE reduce_bd34WithSd(SCIP *, GRAPH *, SDGRAPH *, PATH *, int *, int *)
Definition: reduce_sd.c:4310
SCIP_RETCODE reduce_chain2(SCIP *, GRAPH *, PATH *, int *, int *, int *, int *, int)
Definition: reduce_alt.c:2445
void reduce_dcmstGet2NodeMst(SCIP *, SCIP_Real, CSR *)
Definition: reduce_util.c:1498
void reduce_solLevelTopClean(SCIP *, REDSOL *)
Definition: reduce_sol.c:997
SCIP_RETCODE reduce_simple_pc(SCIP *, const int *, GRAPH *, SCIP_Real *, int *, int *, int *)
SCIP_RETCODE reduce_exec(SCIP *, GRAPH *, REDSOL *, int, int, SCIP_Bool)
Definition: reduce_base.c:2192
SCIP_Real reduce_sdGetSd(const GRAPH *, int, int, SCIP_Real, SCIP_Real, SD *)
Definition: reduce_sd.c:2433
void reduce_starFree(SCIP *, STAR **)
Definition: reduce_util.c:1758
int * reduce_sollocalGetSolnode(REDSOLLOCAL *)
Definition: reduce_sol.c:651
void reduce_dcmstGet1NodeMst(SCIP *, CSR *)
Definition: reduce_util.c:1479
SCIP_RETCODE reduce_bdkBiased(SCIP *, int, GRAPH *, int *)
SCIP_Real reduce_sdGetSdIntermedTerms(const GRAPH *, int, int, SCIP_Real, SCIP_Real, SD *)
Definition: reduce_sd.c:2449
void reduce_solLevelTopFinalize(SCIP *, GRAPH *, REDSOL *)
Definition: reduce_sol.c:956
SCIP_RETCODE reduce_sl(SCIP *, const int *, GRAPH *, PATH *, SCIP_Real *, int *, int *, STP_Bool *, int *, int *)
Definition: reduce_alt.c:665
SCIP_Real reduce_dcmstGetWeight(SCIP *, const CSR *)
Definition: reduce_util.c:1573
void reduce_dcmstAddNodeInplace(SCIP *, const SCIP_Real *, DCMST *, CSR *)
Definition: reduce_util.c:1438
SCIP_RETCODE reduce_unconnected(SCIP *, GRAPH *)
void reduce_sdgraphMstSortCosts(SDGRAPH *)
SCIP_RETCODE reduce_unconnectedInfeas(SCIP *, SCIP_Bool, GRAPH *, SCIP_Bool *)
SCIP_RETCODE reduce_hc(SCIP *, GRAPH *, SCIP_Real *, int)
Definition: reduce_base.c:1403
SCIP_RETCODE reduce_sdspSap(SCIP *, GRAPH *, PATH *, PATH *, int *, int *, int *, int *, int *, int *, int)
Definition: reduce_sd.c:2661
SCIP_Real reduce_solGetOffset(const REDSOL *)
Definition: reduce_sol.c:1137
SCIP_RETCODE reduce_applyPseudoDeletions(SCIP *, const SCIP_Bool *, REDCOST *, GRAPH *, SCIP_Real *, int *)
Definition: reduce_util.c:1042
const SCIP_Bool * reduce_sdneighborGetBlocked(const SDN *)
SCIP_RETCODE reduce_sdBiased(SCIP *, SD *, GRAPH *, int *)
Definition: reduce_sd.c:1845
void reduce_sdgraphFreeFromDistGraph(SCIP *, SDGRAPH **)
SCIP_RETCODE reduce_bound(SCIP *, GRAPH *, PATH *, SCIP_Real *, SCIP_Real *, SCIP_Real *, int *, int *, int *, int *)
Definition: reduce_bnd.c:655
void reduce_sdprofitFree(SCIP *, SDPROFIT **)
void reduce_sdFree(SCIP *, SD **)
SCIP_Real reduce_sollocalGetUpperBoundWithOffset(const REDSOLLOCAL *)
Definition: reduce_sol.c:664
void reduce_solFree(SCIP *, REDSOL **)
Definition: reduce_sol.c:818
SCIP_RETCODE reduce_solLevelAdd(SCIP *, const GRAPH *, REDSOL *)
Definition: reduce_sol.c:897
void reduce_sdgraphInsertEdge(SCIP *, int, int, SCIP_Real, int, int *RESTRICT, SDGRAPH *, SCIP_Bool *)
SCIP_RETCODE reduce_termcompBuildSubgraph(SCIP *, GRAPH *, TERMCOMP *)
SCIP_Real reduce_sdgraphGetMaxCost(const SDGRAPH *)
SCIP_RETCODE reduce_nv(SCIP *, GRAPH *, PATH *, SCIP_Real *, int *, int *, int *, int *)
Definition: reduce_alt.c:932
void reduce_starResetWithEdges(const GRAPH *, const STP_Vectype(int), STAR *)
unsigned char STP_Bool
Definition: portab.h:34
SCIP_Real * reduce_dcmstGetAdjcostBuffer(const DCMST *)
Definition: reduce_util.c:1617
void reduce_termcompFree(SCIP *, TERMCOMP **)
const int * reduce_starGetNext(STAR *, int *)
Definition: reduce_util.c:1863
SCIP_RETCODE reduce_boundHop(SCIP *, GRAPH *, PATH *, SCIP_Real *, SCIP_Real *, SCIP_Real *, int *, int *, int *, int *)
Definition: reduce_bnd.c:1323
SCIP_RETCODE reduce_termsepaDaWithExperma(SCIP *, GRAPH *, EXTPERMA *, SCIP_Bool *, int *)
SCIP_RETCODE reduce_simple(SCIP *, GRAPH *, SCIP_Real *, int *, int *, int *)
SCIP_RETCODE reduce_bd34(SCIP *, GRAPH *, PATH *, PATH *, int *, int *, int *, int *, int *, int *, int, SCIP_Real *)
Definition: reduce_sd.c:4516
includes definitions data structures for terminal separator based methods for Steiner tree problems ...
SCIP_RETCODE reduce_sdWalkExt2(SCIP *, int, const int *, GRAPH *, int *, SCIP_Real *, int *, int *, int *, STP_Bool *, int *)
Definition: reduce_sd.c:3910
SCIP_RETCODE reduce_sdRepair(SCIP *, int, SCIP_Bool, GRAPH *, SD *)
SCIP_RETCODE reduce_sdPc(SCIP *, GRAPH *, PATH *, int *, int *, int *, int *, int *, int *)
Definition: reduce_sd.c:2023
void reduce_solSetOffset(SCIP_Real, REDSOL *)
Definition: reduce_sol.c:1124
SCIP_Bool reduce_dcmstMstIsValid(SCIP *, const CSR *)
Definition: reduce_util.c:1650
#define SCIP_Bool
Definition: def.h:84
SCIP_RETCODE reduce_deleteConflictEdges(SCIP *, GRAPH *)
Definition: reduce_ext.c:791
int reduce_dcmstGetMaxnnodes(const DCMST *)
Definition: reduce_util.c:1604
includes extended reductions definitions and inline methods used for Steiner tree problems ...
void reduce_solPack(const GRAPH *, const int *, int, REDSOL *)
Definition: reduce_sol.c:846
void reduce_sollocalUpdateUpperBound(SCIP_Real, REDSOLLOCAL *)
Definition: reduce_sol.c:610
SCIP_RETCODE reduce_rpt(SCIP *, GRAPH *, SCIP_Real *, int *)
SCIP_RETCODE reduce_pathreplace(SCIP *, GRAPH *, int *)
Definition: reduce_path.c:1119
SCIP_RETCODE reduce_sdWalk_csr(SCIP *, int, const int *, GRAPH *, int *, SCIP_Real *, int *, STP_Bool *, DHEAP *, int *)
Definition: reduce_sd.c:2818
SCIP_RETCODE reduce_stp(SCIP *, GRAPH *, REDSOL *, int, SCIP_Bool, SCIP_Bool, SCIP_Bool, SCIP_Bool)
Definition: reduce_base.c:1181
SCIP_RETCODE reduce_sdneighborInit(SCIP *, const GRAPH *, SDN **)
int reduce_extendedEdge(SCIP *, GRAPH *, const PATH *, const SCIP_Real *, const SCIP_Real *, const int *, SCIP_Real, int, STP_Bool *, SCIP_Bool)
Definition: reduce_ext.c:1155
SCIP_RETCODE reduce_cutEdgeTryPrune(SCIP *, int, GRAPH *, SCIP_Bool *)
SCIP_RETCODE reduce_ansAdv(SCIP *, GRAPH *, int *, SCIP_Bool)
Definition: reduce_alt.c:1544
SCIP_RETCODE reduce_getSdByPaths(SCIP *, GRAPH *, PATH *, PATH *, SCIP_Real *, SCIP_Real, int *, int *, int *, int *, int *, int, int, int, SCIP_Bool, SCIP_Bool)
Definition: reduce_sd.c:2304
SCIP_RETCODE reduce_sdInitBiasedBottleneck(SCIP *, GRAPH *, SD **)
SCIP_RETCODE reduce_blctreeRebuild(SCIP *, GRAPH *, BLCTREE *)
Definition: reduce_util.c:1186
SCIP_RETCODE reduce_dapaths(SCIP *, GRAPH *, SCIP_Real *, int *)
Definition: reduce_da.c:2397
void reduce_solReInitLocal(const GRAPH *, REDSOL *)
Definition: reduce_sol.c:793
void reduce_starReset(const GRAPH *, int, STAR *)
Definition: reduce_util.c:1781
void reduce_solLevelTopRemove(SCIP *, REDSOL *)
Definition: reduce_sol.c:940
SCIP_RETCODE reduce_sdEdgeCliqueStar(SCIP *, int, GRAPH *, int *)
Definition: reduce_sd.c:2939
void reduce_starCurrentSetFailed(STAR *)
Definition: reduce_util.c:1960
SCIP_RETCODE reduce_deleteMultiedges(SCIP *, GRAPH *)
SCIP_RETCODE reduce_sdsp(SCIP *, GRAPH *, PATH *, int *, int *, int *, int *, int *, int *, int, SCIP_Bool)
Definition: reduce_sd.c:4020
SCIP_RETCODE reduce_unconnectedForDirected(SCIP *, GRAPH *)
SCIP_Bool reduce_sdgraphEdgeIsInMst(const SDGRAPH *, int)
SCIP_RETCODE reduce_boundHopR(SCIP *, GRAPH *, PATH *, SCIP_Real *, SCIP_Real *, SCIP_Real *, int *, int *, int *, int *, int *)
Definition: reduce_bnd.c:1518
SCIP_RETCODE reduce_sdgraphInitBiasedFromTpaths(SCIP *, GRAPH *, const SDPROFIT *, const TPATHS *, SDGRAPH **)
SCIP_RETCODE reduce_sap(SCIP *, GRAPH *, SCIP_Bool, SCIP_Real *, int)
Definition: reduce_base.c:1557
SCIP_RETCODE reduce_sdGetSdsCliquegraph(SCIP *, const GRAPH *, int, const int *, DIJK *, SD *, GRAPH *)
Definition: reduce_sd.c:1394
void reduce_sollocalFree(SCIP *, REDSOLLOCAL **)
Definition: reduce_sol.c:472
SCIP_RETCODE reduce_extendedCheck3Tree(SCIP *, const GRAPH *, int, const SCIP_Real *, const SCIP_Real *, const PATH *, const int *, SCIP_Real, const int *, int, SCIP_Real *, SCIP_Bool *, unsigned int *, int *, SCIP_Bool *)
Definition: reduce_ext.c:842
Reduced cost based routines for Steiner problems.
SCIP_RETCODE reduce_termcompInit(SCIP *, const GRAPH *, COMPBUILDER *, TERMCOMP **)
SCIP_RETCODE reduce_termcompBuildSubgraphWithSds(SCIP *, GRAPH *, EXTPERMA *, TERMCOMP *)
void reduce_starCurrentSetRuledOut(STAR *)
Definition: reduce_util.c:1948
void reduce_compbuilderFree(SCIP *, COMPBUILDER **)
void reduce_dcmstFree(SCIP *, DCMST **)
Definition: reduce_util.c:1634
void reduce_blctreeGetMstEdgesToCutDist(const GRAPH *, const BLCTREE *, SCIP_Real *RESTRICT, SCIP_Real *RESTRICT)
SCIP_RETCODE reduce_sdgraphInitFromDistGraph(SCIP *, const GRAPH *, GRAPH *, int *, SDGRAPH **)
SCIP_RETCODE reduce_unconnectedRpcRmw(SCIP *, GRAPH *, SCIP_Real *)
const int * reduce_sdgraphGetOrgnodesToSdMap(const SDGRAPH *)
int reduce_blctreeGetMstNedges(const BLCTREE *)
Definition: reduce_util.c:1218
SCIP_Bool reduce_sdgraphHasMstHalfMark(const SDGRAPH *)
SCIP_RETCODE reduce_pathreplaceExt(SCIP *, GRAPH *, EXTPERMA *, int *)
Definition: reduce_path.c:1080
SCIP_RETCODE reduce_sdprofitUpdateFromBLC(SCIP *, const GRAPH *, const BLCTREE *, SCIP_Bool, SDPROFIT *)
SCIP_RETCODE reduce_simple_mw(SCIP *, GRAPH *, int *, SCIP_Real *, int *)
SCIP_Real * reduce_solGetOffsetPointer(REDSOL *)
Definition: reduce_sol.c:1285
SCIP_RETCODE reduce_solAddNodesol(const GRAPH *, const int *, REDSOL *)
Definition: reduce_sol.c:1150
#define SCIP_Real
Definition: def.h:177
SCIP_RETCODE reduce_sdUpdateWithSdNeighbors(SCIP *, GRAPH *, SD *, int *)
SCIP_RETCODE reduce_sdStarBiased(SCIP *, int, SCIP_Bool, GRAPH *, int *)
Definition: reduce_sd.c:3332
SCIP_RETCODE reduce_pc(SCIP *, REDSOL *, GRAPH *, int, SCIP_Bool, SCIP_Bool, SCIP_Bool, SCIP_Bool)
Definition: reduce_base.c:1260
SCIP_RETCODE reduce_sdStarPc2(SCIP *, int, SCIP_Bool, GRAPH *, SCIP_Real *, int *, int *, STP_Bool *, DHEAP *, int *)
Definition: reduce_sd.c:3394
SCIP_RETCODE reduce_solLevelTopUpdate(SCIP *, const GRAPH *, REDSOL *)
Definition: reduce_sol.c:922
SCIP_RETCODE reduce_sdWalkExt(SCIP *, int, SCIP_Bool, GRAPH *, SCIP_Real *, int *, int *, int *, STP_Bool *, int *)
Definition: reduce_sd.c:3827
includes reductions definitions and inline methods used for Steiner tree problems ...
SCIP_RETCODE reduce_sdprofitInit(SCIP *, const GRAPH *, SDPROFIT **)
SCIP_RETCODE reduce_sdStarBiasedWithProfit(SCIP *, int, const SDPROFIT *, SCIP_Bool, GRAPH *, int *)
Definition: reduce_sd.c:3353
void reduce_baseFree(SCIP *, REDBASE **)
Definition: reduce_base.c:1155
SCIP_RETCODE reduce_boundHopDa(SCIP *, GRAPH *, int *, SCIP_RANDNUMGEN *)
Definition: reduce_bnd.c:1286
const int * reduce_solGetNodesolPointer(const REDSOL *)
Definition: reduce_sol.c:1248
SCIP_RETCODE reduce_baseInit(SCIP *, const GRAPH *, REDBASE **)
Definition: reduce_base.c:1120
SCIP_RETCODE reduce_nsvImplied(SCIP *, const SD *, GRAPH *, int *, SCIP_Real *, int *)
Definition: reduce_alt.c:621
SCIP_RETCODE reduce_bidecomposition(SCIP *, GRAPH *, REDBASE *, int *, SCIP_Bool *)
Definition: reduce_sepa.c:1039
void reduce_dcmstGet0NodeMst(SCIP *, CSR *)
Definition: reduce_util.c:1461
SCIP_RETCODE reduce_impliedProfitBasedRpc(SCIP *, GRAPH *, REDSOLLOCAL *, SCIP_Real *, int *)
Definition: reduce_alt.c:2664
SCIP_RETCODE reduce_boundMw(SCIP *, GRAPH *, PATH *, SCIP_Real *, int *, int *, int *, int *, int *)
Definition: reduce_bnd.c:1058
SCIP_RETCODE reduce_redLoopStp(SCIP *, GRAPH *, REDBASE *)
Definition: reduce_base.c:2074
SCIP_RETCODE reduce_contract0Edges(SCIP *, GRAPH *, int *, SCIP_Bool)
SCIP_RETCODE reduce_articulations(SCIP *, GRAPH *, SCIP_Real *, int *)
Definition: reduce_sepa.c:1130
Minimum cut routines for Steiner problems.
SCIP_RETCODE reduce_cnsAdv(SCIP *, GRAPH *, int *, int *)
Definition: reduce_alt.c:1793
SCIP_RETCODE reduce_sdRepairSetUp(SCIP *, const GRAPH *, SD *)
const STP_Bool * reduce_sdgraphGetMstHalfMark(const SDGRAPH *)
void reduce_simple_dc(SCIP *, GRAPH *)
void reduce_blctreeFree(SCIP *, BLCTREE **)
Definition: reduce_util.c:1201
SCIP_RETCODE reduce_mw(SCIP *, REDSOL *, GRAPH *, int, SCIP_Bool, SCIP_Bool, SCIP_Bool)
Definition: reduce_base.c:1344
SCIP_RETCODE reduce_nsvImpliedRecord(SCIP *, const SD *, GRAPH *, STP_Vectype(int) *)
Definition: reduce_alt.c:643
SCIP_Real reduce_sollocalGetUpperBound(const REDSOLLOCAL *)
Definition: reduce_sol.c:633
void reduce_blctreeGetMstBottlenecks(const GRAPH *, const BLCTREE *, SCIP_Real *)
Definition: reduce_util.c:1349
SCIP_RETCODE reduce_bidecompositionExact(SCIP *, GRAPH *, REDBASE *, int *, int *)
Definition: reduce_sepa.c:1085
SCIP_Bool reduce_impliedNodesIsValid(const GRAPH *, const STP_Vectype(int) *)
Definition: reduce_util.c:996
SCIP callable library.
SCIP_RETCODE reduce_daSlackPrune(SCIP *, GRAPH *, int, SCIP_Bool, int *, int *, int *, SCIP_Real *, SCIP_Bool *, SCIP_Bool *)
Definition: reduce_da.c:2741
SCIP_RETCODE reduce_sdWalk(SCIP *, int, const int *, GRAPH *, int *, SCIP_Real *, int *, int *, int *, STP_Bool *, int *)
Definition: reduce_sd.c:3743
SCIP_Bool reduce_sollocalUsesNodesol(const REDSOLLOCAL *)
Definition: reduce_sol.c:554
SCIP_RETCODE reduce_termsepaDa(SCIP *, GRAPH *, int *)