SCIP-SDP  3.1.1
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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-2018 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-2018 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 EXTERN
63 SCIP_RETCODE SCIPincludeRelaxSdp(
64  SCIP* scip
65  );
66 
70 EXTERN
72  SCIP* scip,
73  SCIP_RELAX* relax
74  );
75 
84 EXTERN
86  SCIP_RELAX* relax,
87  SCIP_Real* lbvars,
88  SCIP_Real* ubvars,
89  int* arraylength
91  );
92 
94 EXTERN
95 SCIP_RETCODE SCIPrelaxSdpRelaxVal(
96  SCIP_RELAX* relax,
97  SCIP_Bool* success,
98  SCIP_Real* objval
99  );
100 
102 EXTERN
103 SCIP_RETCODE SCIPrelaxSdpGetRelaxSol(
104  SCIP* scip,
105  SCIP_RELAX* relax,
106  SCIP_Bool* success,
107  SCIP_Real* solarray,
108  int* sollength
110  );
111 
113 EXTERN
114 long int SCIPrelaxSdpGetSdpNode(
115  SCIP_RELAX* relax
116  );
117 
119 EXTERN
120 SCIP_Bool SCIPrelaxSdpSolvedOrig(
121  SCIP_RELAX* relax
122  );
123 
125 EXTERN
126 SCIP_Bool SCIPrelaxSdpSolvedProbing(
127  SCIP_RELAX* relax
128  );
129 
131 EXTERN
132 SCIP_Bool SCIPrelaxSdpIsFeasible(
133  SCIP_RELAX* relax
134  );
135 
137 EXTERN
139  SCIP_RELAX* relax
140  );
141 
143 EXTERN
145  SCIP_RELAX* relax
146  );
147 
149 EXTERN
151  SCIP_RELAX* relax
152  );
153 
155 EXTERN
157  SCIP_RELAX* relax
158  );
159 
161 EXTERN
163  SCIP_RELAX* relax
164  );
165 
167 EXTERN
169  SCIP_RELAX* relax
170  );
171 
173 EXTERN
175  SCIP_RELAX* relax
176  );
177 
179 EXTERN
181  SCIP_RELAX* relax
182  );
183 
185 EXTERN
187  SCIP_RELAX* relax
188  );
189 
191 EXTERN
193  SCIP_RELAX* relax
194  );
195 
197 EXTERN
199  SCIP_RELAX* relax
200  );
201 
203 EXTERN
205  SCIP_RELAX* relax
206  );
207 
209 EXTERN
211  SCIP_RELAX* relax
212  );
213 
215 EXTERN
217  SCIP_RELAX* relax
218  );
219 
221 EXTERN
223  SCIP_RELAX* relax
224  );
225 
227 EXTERN
229  SCIP_RELAX* relax
230  );
231 
233 EXTERN
235  SCIP_RELAX* relax
236  );
237 
239 EXTERN
241  SCIP_RELAX* relax
242  );
243 
245 EXTERN
247  SCIP_RELAX* relax
248  );
249 
251 EXTERN
253  SCIP_RELAX* relax
254  );
255 
257 EXTERN
259  SCIP_RELAX* relax
260  );
261 
263 EXTERN
265  SCIP_RELAX* relax
266  );
267 
269 EXTERN
271  SCIP_RELAX* relax
272  );
273 
275 EXTERN
277  SCIP_RELAX* relax
278  );
279 
281 EXTERN
283  SCIP_RELAX* relax
284  );
285 
287 EXTERN
289  SCIP_RELAX* relax
290  );
291 
293 EXTERN
295  SCIP_RELAX* relax
296  );
297 
299 EXTERN
301  SCIP_RELAX* relax
302  );
303 
305 EXTERN
307  SCIP_RELAX* relax
308  );
309 
311 EXTERN
313  SCIP_RELAX* relax
314  );
315 
317 EXTERN
319  SCIP_RELAX* relax
320  );
321 
323 EXTERN
325  SCIP_RELAX* relax
326  );
327 
328 #ifdef __cplusplus
329 }
330 #endif
331 
332 #endif
EXTERN SCIP_Bool SCIPrelaxSdpSolvedProbing(SCIP_RELAX *relax)
Definition: relax_sdp.c:5258
EXTERN int SCIPrelaxSdpGetNSlaterFailsPenalty(SCIP_RELAX *relax)
Definition: relax_sdp.c:5550
EXTERN int SCIPrelaxSdpGetNSdpPenalty(SCIP_RELAX *relax)
Definition: relax_sdp.c:5352
EXTERN int SCIPrelaxSdpGetNprimalSlaterUnknown(SCIP_RELAX *relax)
Definition: relax_sdp.c:5440
EXTERN int SCIPrelaxSdpGetNdualSlaterHolds(SCIP_RELAX *relax)
Definition: relax_sdp.c:5374
EXTERN int SCIPrelaxSdpGetNSlaterFails(SCIP_RELAX *relax)
Definition: relax_sdp.c:5517
EXTERN int SCIPrelaxSdpGetNSdpCalls(SCIP_RELAX *relax)
Definition: relax_sdp.c:5297
EXTERN int SCIPrelaxSdpGetNSlaterInfeasiblePenalty(SCIP_RELAX *relax)
Definition: relax_sdp.c:5605
EXTERN int SCIPrelaxSdpGetNdualSlaterFails(SCIP_RELAX *relax)
Definition: relax_sdp.c:5385
EXTERN SCIP_RETCODE SCIPrelaxSdpGetRelaxSol(SCIP *scip, SCIP_RELAX *relax, SCIP_Bool *success, SCIP_Real *solarray, int *sollength)
Definition: relax_sdp.c:5197
EXTERN SCIP_RETCODE SCIPrelaxSdpComputeAnalyticCenters(SCIP *scip, SCIP_RELAX *relax)
Definition: relax_sdp.c:4435
EXTERN SCIP_Bool SCIPrelaxSdpIsFeasible(SCIP_RELAX *relax)
Definition: relax_sdp.c:5275
EXTERN int SCIPrelaxSdpGetNSdpMedium(SCIP_RELAX *relax)
Definition: relax_sdp.c:5330
EXTERN int SCIPrelaxSdpGetNSdpStable(SCIP_RELAX *relax)
Definition: relax_sdp.c:5341
EXTERN int SCIPrelaxSdpGetNSdpUnsolved(SCIP_RELAX *relax)
Definition: relax_sdp.c:5363
EXTERN int SCIPrelaxSdpGetNSlaterHolds(SCIP_RELAX *relax)
Definition: relax_sdp.c:5451
EXTERN SCIP_RETCODE SCIPincludeRelaxSdp(SCIP *scip)
Definition: relax_sdp.c:4275
EXTERN int SCIPrelaxSdpGetNSlaterHoldsStable(SCIP_RELAX *relax)
Definition: relax_sdp.c:5473
EXTERN int SCIPrelaxSdpGetNprimalSlaterHolds(SCIP_RELAX *relax)
Definition: relax_sdp.c:5418
General interface methods for SDP-preprocessing (mainly fixing variables and removing empty rows/cols...
EXTERN int SCIPrelaxSdpGetNSlaterHoldsPenalty(SCIP_RELAX *relax)
Definition: relax_sdp.c:5484
EXTERN SCIP_RETCODE SCIPrelaxSdpGetPrimalBoundVars(SCIP_RELAX *relax, SCIP_Real *lbvars, SCIP_Real *ubvars, int *arraylength)
Definition: relax_sdp.c:5150
EXTERN int SCIPrelaxSdpGetNSdpInterfaceCalls(SCIP_RELAX *relax)
Definition: relax_sdp.c:5308
EXTERN int SCIPrelaxSdpGetNSlaterInfeasibleFast(SCIP_RELAX *relax)
Definition: relax_sdp.c:5583
EXTERN int SCIPrelaxSdpGetNdualSlaterUnknown(SCIP_RELAX *relax)
Definition: relax_sdp.c:5407
EXTERN int SCIPrelaxSdpGetNSlaterFailsBounded(SCIP_RELAX *relax)
Definition: relax_sdp.c:5561
EXTERN int SCIPrelaxSdpGetNSlaterInfeasibleUnsolved(SCIP_RELAX *relax)
Definition: relax_sdp.c:5627
EXTERN int SCIPrelaxSdpGetNSlaterInfeasibleStable(SCIP_RELAX *relax)
Definition: relax_sdp.c:5594
EXTERN int SCIPrelaxSdpGetNdualSlaterInfeasible(SCIP_RELAX *relax)
Definition: relax_sdp.c:5396
EXTERN int SCIPrelaxSdpGetNprimalSlaterFails(SCIP_RELAX *relax)
Definition: relax_sdp.c:5429
EXTERN long int SCIPrelaxSdpGetSdpNode(SCIP_RELAX *relax)
Definition: relax_sdp.c:5230
EXTERN int SCIPrelaxSdpGetNSlaterFailsStable(SCIP_RELAX *relax)
Definition: relax_sdp.c:5539
EXTERN int SCIPrelaxSdpGetNSlaterFailsUnsolved(SCIP_RELAX *relax)
Definition: relax_sdp.c:5572
EXTERN int SCIPrelaxSdpGetNSlaterInfeasibleBounded(SCIP_RELAX *relax)
Definition: relax_sdp.c:5616
EXTERN int SCIPrelaxSdpGetNIterations(SCIP_RELAX *relax)
Definition: relax_sdp.c:5286
EXTERN int SCIPrelaxSdpGetNSlaterFailsFast(SCIP_RELAX *relax)
Definition: relax_sdp.c:5528
EXTERN SCIP_Bool SCIPrelaxSdpSolvedOrig(SCIP_RELAX *relax)
Definition: relax_sdp.c:5241
EXTERN int SCIPrelaxSdpGetNSlaterHoldsBounded(SCIP_RELAX *relax)
Definition: relax_sdp.c:5495
EXTERN int SCIPrelaxSdpGetNSlaterHoldsUnsolved(SCIP_RELAX *relax)
Definition: relax_sdp.c:5506
EXTERN SCIP_RETCODE SCIPrelaxSdpRelaxVal(SCIP_RELAX *relax, SCIP_Bool *success, SCIP_Real *objval)
Definition: relax_sdp.c:5175
EXTERN int SCIPrelaxSdpGetNSdpFast(SCIP_RELAX *relax)
Definition: relax_sdp.c:5319
EXTERN int SCIPrelaxSdpGetNSlaterHoldsFast(SCIP_RELAX *relax)
Definition: relax_sdp.c:5462