SCIP-SDP  4.0.0
relax_sdp.h
Go to the documentation of this file.
1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2 /* */
3 /* This file is part of SCIPSDP - a solving framework for mixed-integer */
4 /* semidefinite programs based on SCIP. */
5 /* */
6 /* Copyright (C) 2011-2013 Discrete Optimization, TU Darmstadt */
7 /* EDOM, FAU Erlangen-Nürnberg */
8 /* 2014-2021 Discrete Optimization, TU Darmstadt */
9 /* */
10 /* */
11 /* This program is free software; you can redistribute it and/or */
12 /* modify it under the terms of the GNU Lesser General Public License */
13 /* as published by the Free Software Foundation; either version 3 */
14 /* of the License, or (at your option) any later version. */
15 /* */
16 /* This program is distributed in the hope that it will be useful, */
17 /* but WITHOUT ANY WARRANTY; without even the implied warranty of */
18 /* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
19 /* GNU Lesser General Public License for more details. */
20 /* */
21 /* You should have received a copy of the GNU Lesser General Public License */
22 /* along with this program; if not, write to the Free Software */
23 /* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.*/
24 /* */
25 /* */
26 /* Based on SCIP - Solving Constraint Integer Programs */
27 /* Copyright (C) 2002-2021 Zuse Institute Berlin */
28 /* SCIP is distributed under the terms of the SCIP Academic Licence, */
29 /* see file COPYING in the SCIP distribution. */
30 /* */
31 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
32 
49 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
50 
51 #ifndef __SCIP_RELAXSDP_H__
52 #define __SCIP_RELAXSDP_H__
53 
54 #include "scip/scip.h"
55 #include "sdpi/sdpi.h"
56 
57 #ifdef __cplusplus
58 extern "C" {
59 #endif
60 
62 SCIP_EXPORT
63 SCIP_RETCODE SCIPincludeRelaxSdp(
64  SCIP* scip
65  );
66 
70 SCIP_EXPORT
72  SCIP* scip,
73  SCIP_RELAX* relax
74  );
75 
84 SCIP_EXPORT
86  SCIP* scip,
87  SCIP_RELAX* relax,
88  SCIP_VAR** vars,
89  int nvars,
90  SCIP_Real* lbvars,
91  SCIP_Real* ubvars,
92  SCIP_Bool* success
93  );
94 
96 SCIP_EXPORT
97 SCIP_RETCODE SCIPrelaxSdpRelaxVal(
98  SCIP_RELAX* relax,
99  SCIP_Bool* success,
100  SCIP_Real* objval
101  );
102 
104 SCIP_EXPORT
105 SCIP_RETCODE SCIPrelaxSdpGetRelaxSol(
106  SCIP* scip,
107  SCIP_RELAX* relax,
108  SCIP_Bool* success,
109  SCIP_Real* solarray,
110  int* sollength
112  );
113 
115 SCIP_EXPORT
116 SCIP_Longint SCIPrelaxSdpGetSdpNode(
117  SCIP_RELAX* relax
118  );
119 
121 SCIP_EXPORT
122 SCIP_Bool SCIPrelaxSdpSolvedOrig(
123  SCIP_RELAX* relax
124  );
125 
127 SCIP_EXPORT
128 SCIP_Bool SCIPrelaxSdpSolvedProbing(
129  SCIP_RELAX* relax
130  );
131 
133 SCIP_EXPORT
134 SCIP_Bool SCIPrelaxSdpIsFeasible(
135  SCIP_RELAX* relax
136  );
137 
139 SCIP_EXPORT
140 SCIP_Bool SCIPrelaxSdpIsUnbounded(
141  SCIP_RELAX* relax
142  );
143 
145 SCIP_EXPORT
146 SCIP_Real SCIPrelaxSdpGetOptTime(
147  SCIP_RELAX* relax
148  );
149 
151 SCIP_EXPORT
153  SCIP_RELAX* relax
154  );
155 
157 SCIP_EXPORT
159  SCIP_RELAX* relax
160  );
161 
163 SCIP_EXPORT
165  SCIP_RELAX* relax
166  );
167 
169 SCIP_EXPORT
171  SCIP_RELAX* relax
172  );
173 
175 SCIP_EXPORT
177  SCIP_RELAX* relax
178  );
179 
181 SCIP_EXPORT
183  SCIP_RELAX* relax
184  );
185 
187 SCIP_EXPORT
189  SCIP_RELAX* relax
190  );
191 
193 SCIP_EXPORT
195  SCIP_RELAX* relax
196  );
197 
199 SCIP_EXPORT
201  SCIP_RELAX* relax
202  );
203 
205 SCIP_EXPORT
207  SCIP_RELAX* relax
208  );
209 
211 SCIP_EXPORT
213  SCIP_RELAX* relax
214  );
215 
217 SCIP_EXPORT
219  SCIP_RELAX* relax
220  );
221 
223 SCIP_EXPORT
225  SCIP_RELAX* relax
226  );
227 
229 SCIP_EXPORT
231  SCIP_RELAX* relax
232  );
233 
235 SCIP_EXPORT
237  SCIP_RELAX* relax
238  );
239 
241 SCIP_EXPORT
243  SCIP_RELAX* relax
244  );
245 
247 SCIP_EXPORT
249  SCIP_RELAX* relax
250  );
251 
253 SCIP_EXPORT
255  SCIP_RELAX* relax
256  );
257 
259 SCIP_EXPORT
261  SCIP_RELAX* relax
262  );
263 
265 SCIP_EXPORT
267  SCIP_RELAX* relax
268  );
269 
271 SCIP_EXPORT
273  SCIP_RELAX* relax
274  );
275 
277 SCIP_EXPORT
279  SCIP_RELAX* relax
280  );
281 
283 SCIP_EXPORT
285  SCIP_RELAX* relax
286  );
287 
289 SCIP_EXPORT
291  SCIP_RELAX* relax
292  );
293 
295 SCIP_EXPORT
297  SCIP_RELAX* relax
298  );
299 
301 SCIP_EXPORT
303  SCIP_RELAX* relax
304  );
305 
307 SCIP_EXPORT
309  SCIP_RELAX* relax
310  );
311 
313 SCIP_EXPORT
315  SCIP_RELAX* relax
316  );
317 
319 SCIP_EXPORT
321  SCIP_RELAX* relax
322  );
323 
325 SCIP_EXPORT
327  SCIP_RELAX* relax
328  );
329 
331 SCIP_EXPORT
333  SCIP_RELAX* relax
334  );
335 
337 SCIP_EXPORT
339  SCIP_RELAX* relax
340  );
341 
343 SCIP_EXPORT
345  SCIP* scip,
346  SCIP_RELAX* relax
347  );
348 
350 SCIP_EXPORT
351 SCIP_RETCODE SCIPrelaxSdpGetStatistics(
352  SCIP_RELAX* relax,
353  int* ninfeasible,
354  int* nallfixed,
355  int* nonevarsdp
356  );
357 
358 #ifdef __cplusplus
359 }
360 #endif
361 
362 #endif
SCIP_EXPORT SCIP_Bool SCIPrelaxSdpSolvedProbing(SCIP_RELAX *relax)
Definition: relax_sdp.c:5579
SCIP_EXPORT SCIP_RETCODE SCIPrelaxSdpComputeAnalyticCenters(SCIP *scip, SCIP_RELAX *relax)
Definition: relax_sdp.c:5015
SCIP_EXPORT SCIP_RETCODE SCIPrelaxSdpRelaxVal(SCIP_RELAX *relax, SCIP_Bool *success, SCIP_Real *objval)
Definition: relax_sdp.c:5496
SCIP_EXPORT int SCIPrelaxSdpGetNdualSlaterHolds(SCIP_RELAX *relax)
Definition: relax_sdp.c:5723
SCIP_EXPORT int SCIPrelaxSdpGetNIterations(SCIP_RELAX *relax)
Definition: relax_sdp.c:5635
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterHolds(SCIP_RELAX *relax)
Definition: relax_sdp.c:5800
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterFailsStable(SCIP_RELAX *relax)
Definition: relax_sdp.c:5888
SCIP_EXPORT int SCIPrelaxSdpGetNSdpInterfaceCalls(SCIP_RELAX *relax)
Definition: relax_sdp.c:5657
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterHoldsFast(SCIP_RELAX *relax)
Definition: relax_sdp.c:5811
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterFailsPenalty(SCIP_RELAX *relax)
Definition: relax_sdp.c:5899
SCIP_EXPORT int SCIPrelaxSdpGetNSdpMedium(SCIP_RELAX *relax)
Definition: relax_sdp.c:5679
SCIP_EXPORT SCIP_Bool SCIPrelaxSdpIsFeasible(SCIP_RELAX *relax)
Definition: relax_sdp.c:5596
SCIP_EXPORT SCIP_RETCODE SCIPincludeRelaxSdp(SCIP *scip)
Definition: relax_sdp.c:4834
SCIP_EXPORT SCIP_RETCODE SCIPrelaxSdpGetStatistics(SCIP_RELAX *relax, int *ninfeasible, int *nallfixed, int *nonevarsdp)
Definition: relax_sdp.c:6006
SCIP_EXPORT int SCIPrelaxSdpGetNSdpPenalty(SCIP_RELAX *relax)
Definition: relax_sdp.c:5701
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterFailsFast(SCIP_RELAX *relax)
Definition: relax_sdp.c:5877
General interface methods for SDP-preprocessing (mainly fixing variables and removing empty rows/cols...
SCIP_EXPORT SCIP_Longint SCIPrelaxSdpGetSdpNode(SCIP_RELAX *relax)
Definition: relax_sdp.c:5551
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterInfeasibleBounded(SCIP_RELAX *relax)
Definition: relax_sdp.c:5965
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterInfeasibleStable(SCIP_RELAX *relax)
Definition: relax_sdp.c:5943
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterFailsBounded(SCIP_RELAX *relax)
Definition: relax_sdp.c:5910
SCIP_EXPORT SCIP_Real SCIPrelaxSdpGetSolvingTime(SCIP *scip, SCIP_RELAX *relax)
Definition: relax_sdp.c:5987
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterHoldsStable(SCIP_RELAX *relax)
Definition: relax_sdp.c:5822
SCIP_EXPORT int SCIPrelaxSdpGetNSdpCalls(SCIP_RELAX *relax)
Definition: relax_sdp.c:5646
SCIP_EXPORT SCIP_Real SCIPrelaxSdpGetOptTime(SCIP_RELAX *relax)
Definition: relax_sdp.c:5624
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterInfeasibleUnsolved(SCIP_RELAX *relax)
Definition: relax_sdp.c:5976
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterHoldsBounded(SCIP_RELAX *relax)
Definition: relax_sdp.c:5844
SCIP_EXPORT int SCIPrelaxSdpGetNprimalSlaterUnknown(SCIP_RELAX *relax)
Definition: relax_sdp.c:5789
SCIP_EXPORT SCIP_RETCODE SCIPrelaxSdpGetRelaxSol(SCIP *scip, SCIP_RELAX *relax, SCIP_Bool *success, SCIP_Real *solarray, int *sollength)
Definition: relax_sdp.c:5518
SCIP_EXPORT int SCIPrelaxSdpGetNdualSlaterInfeasible(SCIP_RELAX *relax)
Definition: relax_sdp.c:5745
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterHoldsUnsolved(SCIP_RELAX *relax)
Definition: relax_sdp.c:5855
SCIP_EXPORT SCIP_RETCODE SCIPrelaxSdpGetPrimalBoundVars(SCIP *scip, SCIP_RELAX *relax, SCIP_VAR **vars, int nvars, SCIP_Real *lbvars, SCIP_Real *ubvars, SCIP_Bool *success)
Definition: relax_sdp.c:5440
SCIP_EXPORT int SCIPrelaxSdpGetNdualSlaterUnknown(SCIP_RELAX *relax)
Definition: relax_sdp.c:5756
SCIP_EXPORT SCIP_Bool SCIPrelaxSdpSolvedOrig(SCIP_RELAX *relax)
Definition: relax_sdp.c:5562
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterFailsUnsolved(SCIP_RELAX *relax)
Definition: relax_sdp.c:5921
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterFails(SCIP_RELAX *relax)
Definition: relax_sdp.c:5866
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterInfeasiblePenalty(SCIP_RELAX *relax)
Definition: relax_sdp.c:5954
SCIP_EXPORT SCIP_Bool SCIPrelaxSdpIsUnbounded(SCIP_RELAX *relax)
Definition: relax_sdp.c:5607
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterInfeasibleFast(SCIP_RELAX *relax)
Definition: relax_sdp.c:5932
SCIP_EXPORT int SCIPrelaxSdpGetNprimalSlaterFails(SCIP_RELAX *relax)
Definition: relax_sdp.c:5778
SCIP_EXPORT int SCIPrelaxSdpGetNSlaterHoldsPenalty(SCIP_RELAX *relax)
Definition: relax_sdp.c:5833
SCIP_EXPORT int SCIPrelaxSdpGetNSdpUnsolved(SCIP_RELAX *relax)
Definition: relax_sdp.c:5712
SCIP_EXPORT int SCIPrelaxSdpGetNSdpFast(SCIP_RELAX *relax)
Definition: relax_sdp.c:5668
SCIP_EXPORT int SCIPrelaxSdpGetNdualSlaterFails(SCIP_RELAX *relax)
Definition: relax_sdp.c:5734
SCIP_EXPORT int SCIPrelaxSdpGetNprimalSlaterHolds(SCIP_RELAX *relax)
Definition: relax_sdp.c:5767
SCIP_EXPORT int SCIPrelaxSdpGetNSdpStable(SCIP_RELAX *relax)
Definition: relax_sdp.c:5690