Scippy

SCIP

Solving Constraint Integer Programs

lp.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-2017 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 email to scip@zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file lp.h
17  * @ingroup INTERNALAPI
18  * @brief internal methods for LP management
19  * @author Tobias Achterberg
20  * @author Marc Pfetsch
21  * @author Kati Wolter
22  * @author Gerald Gamrath
23  */
24 
25 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
26 
27 #ifndef __SCIP_LP_H__
28 #define __SCIP_LP_H__
29 
30 
31 #include <stdio.h>
32 
33 #include "scip/def.h"
34 #include "blockmemshell/memory.h"
35 #include "scip/type_set.h"
36 #include "scip/type_stat.h"
37 #include "scip/type_misc.h"
38 #include "scip/type_lp.h"
39 #include "scip/type_var.h"
40 #include "scip/type_prob.h"
41 #include "scip/type_sol.h"
42 #include "scip/pub_lp.h"
43 
44 #include "scip/struct_lp.h"
45 
46 #ifdef __cplusplus
47 extern "C" {
48 #endif
49 
50 /*
51  * Column methods
52  */
53 
54 /** creates an LP column */
55 extern
56 SCIP_RETCODE SCIPcolCreate(
57  SCIP_COL** col, /**< pointer to column data */
58  BMS_BLKMEM* blkmem, /**< block memory */
59  SCIP_SET* set, /**< global SCIP settings */
60  SCIP_STAT* stat, /**< problem statistics */
61  SCIP_VAR* var, /**< variable, this column represents */
62  int len, /**< number of nonzeros in the column */
63  SCIP_ROW** rows, /**< array with rows of column entries */
64  SCIP_Real* vals, /**< array with coefficients of column entries */
65  SCIP_Bool removable /**< should the column be removed from the LP due to aging or cleanup? */
66  );
67 
68 /** frees an LP column */
69 extern
70 SCIP_RETCODE SCIPcolFree(
71  SCIP_COL** col, /**< pointer to LP column */
72  BMS_BLKMEM* blkmem, /**< block memory */
73  SCIP_SET* set, /**< global SCIP settings */
74  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
75  SCIP_LP* lp /**< current LP data */
76  );
77 
78 /** output column to file stream */
79 extern
80 void SCIPcolPrint(
81  SCIP_COL* col, /**< LP column */
82  SCIP_MESSAGEHDLR* messagehdlr, /**< message handler */
83  FILE* file /**< output file (or NULL for standard output) */
84  );
85 
86 /** adds a previously non existing coefficient to an LP column */
87 extern
88 SCIP_RETCODE SCIPcolAddCoef(
89  SCIP_COL* col, /**< LP column */
90  BMS_BLKMEM* blkmem, /**< block memory */
91  SCIP_SET* set, /**< global SCIP settings */
92  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
93  SCIP_LP* lp, /**< current LP data */
94  SCIP_ROW* row, /**< LP row */
95  SCIP_Real val /**< value of coefficient */
96  );
97 
98 /** deletes coefficient from column */
99 extern
100 SCIP_RETCODE SCIPcolDelCoef(
101  SCIP_COL* col, /**< column to be changed */
102  BMS_BLKMEM* blkmem, /**< block memory */
103  SCIP_SET* set, /**< global SCIP settings */
104  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
105  SCIP_LP* lp, /**< current LP data */
106  SCIP_ROW* row /**< coefficient to be deleted */
107  );
108 
109 /** changes or adds a coefficient to an LP column */
110 extern
111 SCIP_RETCODE SCIPcolChgCoef(
112  SCIP_COL* col, /**< LP column */
113  BMS_BLKMEM* blkmem, /**< block memory */
114  SCIP_SET* set, /**< global SCIP settings */
115  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
116  SCIP_LP* lp, /**< current LP data */
117  SCIP_ROW* row, /**< LP row */
118  SCIP_Real val /**< value of coefficient */
119  );
120 
121 /** increases value of an existing or nonexisting coefficient in an LP column */
122 extern
123 SCIP_RETCODE SCIPcolIncCoef(
124  SCIP_COL* col, /**< LP column */
125  BMS_BLKMEM* blkmem, /**< block memory */
126  SCIP_SET* set, /**< global SCIP settings */
127  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
128  SCIP_LP* lp, /**< current LP data */
129  SCIP_ROW* row, /**< LP row */
130  SCIP_Real incval /**< value to add to the coefficient */
131  );
132 
133 /** changes objective value of column */
134 extern
135 SCIP_RETCODE SCIPcolChgObj(
136  SCIP_COL* col, /**< LP column to change */
137  SCIP_SET* set, /**< global SCIP settings */
138  SCIP_LP* lp, /**< current LP data */
139  SCIP_Real newobj /**< new objective value */
140  );
141 
142 /** changes lower bound of column */
143 extern
144 SCIP_RETCODE SCIPcolChgLb(
145  SCIP_COL* col, /**< LP column to change */
146  SCIP_SET* set, /**< global SCIP settings */
147  SCIP_LP* lp, /**< current LP data */
148  SCIP_Real newlb /**< new lower bound value */
149  );
150 
151 /** changes upper bound of column */
152 extern
153 SCIP_RETCODE SCIPcolChgUb(
154  SCIP_COL* col, /**< LP column to change */
155  SCIP_SET* set, /**< global SCIP settings */
156  SCIP_LP* lp, /**< current LP data */
157  SCIP_Real newub /**< new upper bound value */
158  );
159 
160 /** calculates the reduced costs of a column using the given dual solution vector */
161 extern
162 SCIP_Real SCIPcolCalcRedcost(
163  SCIP_COL* col, /**< LP column */
164  SCIP_Real* dualsol /**< dual solution vector for current LP rows */
165  );
166 
167 /** gets the reduced costs of a column in last LP or after recalculation */
168 extern
169 SCIP_Real SCIPcolGetRedcost(
170  SCIP_COL* col, /**< LP column */
171  SCIP_STAT* stat, /**< problem statistics */
172  SCIP_LP* lp /**< current LP data */
173  );
174 
175 /** gets the feasibility of (the dual row of) a column in last LP or after recalculation */
176 extern
177 SCIP_Real SCIPcolGetFeasibility(
178  SCIP_COL* col, /**< LP column */
179  SCIP_SET* set, /**< global SCIP settings */
180  SCIP_STAT* stat, /**< problem statistics */
181  SCIP_LP* lp /**< current LP data */
182  );
183 
184 /** calculates the Farkas coefficient y^T A_i of a column i using the given dual Farkas vector y */
185 extern
186 SCIP_Real SCIPcolCalcFarkasCoef(
187  SCIP_COL* col, /**< LP column */
188  SCIP_Real* dualfarkas /**< dense dual Farkas vector for current LP rows */
189  );
190 
191 /** gets the Farkas coefficient y^T A_i of a column i in last LP (which must be infeasible) */
192 extern
193 SCIP_Real SCIPcolGetFarkasCoef(
194  SCIP_COL* col, /**< LP column */
195  SCIP_STAT* stat, /**< problem statistics */
196  SCIP_LP* lp /**< current LP data */
197  );
198 
199 /** gets the Farkas value of a column in last LP (which must be infeasible), i.e. the Farkas coefficient y^T A_i times
200  * the best bound for this coefficient, i.e. max{y^T A_i x_i | lb <= x_i <= ub}
201  */
202 extern
203 SCIP_Real SCIPcolGetFarkasValue(
204  SCIP_COL* col, /**< LP column */
205  SCIP_STAT* stat, /**< problem statistics */
206  SCIP_LP* lp /**< current LP data */
207  );
208 
209 /** start strong branching - call before any strong branching */
210 extern
211 SCIP_RETCODE SCIPlpStartStrongbranch(
212  SCIP_LP* lp /**< LP data */
213  );
214 
215 /** end strong branching - call after any strong branching */
216 extern
217 SCIP_RETCODE SCIPlpEndStrongbranch(
218  SCIP_LP* lp /**< LP data */
219  );
220 
221 /** sets strong branching information for a column variable */
222 extern
223 void SCIPcolSetStrongbranchData(
224  SCIP_COL* col, /**< LP column */
225  SCIP_SET* set, /**< global SCIP settings */
226  SCIP_STAT* stat, /**< dynamic problem statistics */
227  SCIP_LP* lp, /**< LP data */
228  SCIP_Real lpobjval, /**< objective value of the current LP */
229  SCIP_Real primsol, /**< primal solution value of the column in the current LP */
230  SCIP_Real sbdown, /**< dual bound after branching column down */
231  SCIP_Real sbup, /**< dual bound after branching column up */
232  SCIP_Bool sbdownvalid, /**< is the returned down value a valid dual bound? */
233  SCIP_Bool sbupvalid, /**< is the returned up value a valid dual bound? */
234  SCIP_Longint iter, /**< total number of strong branching iterations */
235  int itlim /**< iteration limit applied to the strong branching call */
236  );
237 
238 /** invalidates strong branching information for a column variable */
239 extern
240 void SCIPcolInvalidateStrongbranchData(
241  SCIP_COL* col, /**< LP column */
242  SCIP_SET* set, /**< global SCIP settings */
243  SCIP_STAT* stat, /**< dynamic problem statistics */
244  SCIP_LP* lp /**< LP data */
245  );
246 
247 /** gets strong branching information on a column variable */
248 SCIP_RETCODE SCIPcolGetStrongbranch(
249  SCIP_COL* col, /**< LP column */
250  SCIP_Bool integral, /**< should integral strong branching be performed? */
251  SCIP_SET* set, /**< global SCIP settings */
252  SCIP_STAT* stat, /**< dynamic problem statistics */
253  SCIP_PROB* prob, /**< problem data */
254  SCIP_LP* lp, /**< LP data */
255  int itlim, /**< iteration limit for strong branchings */
256  SCIP_Real* down, /**< stores dual bound after branching column down */
257  SCIP_Real* up, /**< stores dual bound after branching column up */
258  SCIP_Bool* downvalid, /**< stores whether the returned down value is a valid dual bound, or NULL;
259  * otherwise, it can only be used as an estimate value */
260  SCIP_Bool* upvalid, /**< stores whether the returned up value is a valid dual bound, or NULL;
261  * otherwise, it can only be used as an estimate value */
262  SCIP_Bool* lperror /**< pointer to store whether an unresolved LP error occurred */
263  );
264 
265 /** gets strong branching information on column variables */
266 extern
267 SCIP_RETCODE SCIPcolGetStrongbranches(
268  SCIP_COL** cols, /**< LP columns */
269  int ncols, /**< number of columns */
270  SCIP_Bool integral, /**< should integral strong branching be performed? */
271  SCIP_SET* set, /**< global SCIP settings */
272  SCIP_STAT* stat, /**< dynamic problem statistics */
273  SCIP_PROB* prob, /**< problem data */
274  SCIP_LP* lp, /**< LP data */
275  int itlim, /**< iteration limit for strong branchings */
276  SCIP_Real* down, /**< stores dual bounds after branching columns down */
277  SCIP_Real* up, /**< stores dual bounds after branching columns up */
278  SCIP_Bool* downvalid, /**< stores whether the returned down values are valid dual bounds, or NULL;
279  * otherwise, they can only be used as an estimate value */
280  SCIP_Bool* upvalid, /**< stores whether the returned up values are valid dual bounds, or NULL;
281  * otherwise, they can only be used as an estimate value */
282  SCIP_Bool* lperror /**< pointer to store whether an unresolved LP error occurred */
283  );
284 
285 /** gets last strong branching information available for a column variable;
286  * returns values of SCIP_INVALID, if strong branching was not yet called on the given column;
287  * keep in mind, that the returned old values may have nothing to do with the current LP solution
288  */
289 extern
290 void SCIPcolGetStrongbranchLast(
291  SCIP_COL* col, /**< LP column */
292  SCIP_Real* down, /**< stores dual bound after branching column down, or NULL */
293  SCIP_Real* up, /**< stores dual bound after branching column up, or NULL */
294  SCIP_Bool* downvalid, /**< stores whether the returned down value is a valid dual bound, or NULL;
295  * otherwise, it can only be used as an estimate value */
296  SCIP_Bool* upvalid, /**< stores whether the returned up value is a valid dual bound, or NULL;
297  * otherwise, it can only be used as an estimate value */
298  SCIP_Real* solval, /**< stores LP solution value of column at last strong branching call, or NULL */
299  SCIP_Real* lpobjval /**< stores LP objective value at last strong branching call, or NULL */
300  );
301 
302 /** if strong branching was already applied on the column at the current node, returns the number of LPs solved after
303  * the LP where the strong branching on this column was applied;
304  * if strong branching was not yet applied on the column at the current node, returns INT_MAX
305  */
306 extern
307 SCIP_Longint SCIPcolGetStrongbranchLPAge(
308  SCIP_COL* col, /**< LP column */
309  SCIP_STAT* stat /**< dynamic problem statistics */
310  );
311 
312 /** marks a column to be not removable from the LP in the current node because it became obsolete */
313 extern
314 void SCIPcolMarkNotRemovableLocal(
315  SCIP_COL* col, /**< LP column */
316  SCIP_STAT* stat /**< problem statistics */
317  );
318 
319 
320 /*
321  * Row methods
322  */
323 
324 /** creates and captures an LP row */
325 extern
326 SCIP_RETCODE SCIProwCreate(
327  SCIP_ROW** row, /**< pointer to LP row data */
328  BMS_BLKMEM* blkmem, /**< block memory */
329  SCIP_SET* set, /**< global SCIP settings */
330  SCIP_STAT* stat, /**< problem statistics */
331  SCIP_LP* lp, /**< current LP data */
332  const char* name, /**< name of row */
333  int len, /**< number of nonzeros in the row */
334  SCIP_COL** cols, /**< array with columns of row entries */
335  SCIP_Real* vals, /**< array with coefficients of row entries */
336  SCIP_Real lhs, /**< left hand side of row */
337  SCIP_Real rhs, /**< right hand side of row */
338  SCIP_ROWORIGINTYPE origintype, /**< type of origin of row */
339  void* origin, /**< pointer to constraint handler or separator who created the row (NULL if unkown) */
340  SCIP_Bool local, /**< is row only valid locally? */
341  SCIP_Bool modifiable, /**< is row modifiable during node processing (subject to column generation)? */
342  SCIP_Bool removable /**< should the row be removed from the LP due to aging or cleanup? */
343  );
344 
345 /** frees an LP row */
346 extern
347 SCIP_RETCODE SCIProwFree(
348  SCIP_ROW** row, /**< pointer to LP row */
349  BMS_BLKMEM* blkmem, /**< block memory */
350  SCIP_SET* set, /**< global SCIP settings */
351  SCIP_LP* lp /**< current LP data */
352  );
353 
354 /** output row to file stream */
355 extern
356 void SCIProwPrint(
357  SCIP_ROW* row, /**< LP row */
358  SCIP_MESSAGEHDLR* messagehdlr, /**< message handler */
359  FILE* file /**< output file (or NULL for standard output) */
360  );
361 
362 /** ensures, that column array of row can store at least num entries */
363 extern
364 SCIP_RETCODE SCIProwEnsureSize(
365  SCIP_ROW* row, /**< LP row */
366  BMS_BLKMEM* blkmem, /**< block memory */
367  SCIP_SET* set, /**< global SCIP settings */
368  int num /**< minimum number of entries to store */
369  );
370 
371 /** increases usage counter of LP row */
372 extern
373 void SCIProwCapture(
374  SCIP_ROW* row /**< LP row */
375  );
376 
377 /** decreases usage counter of LP row, and frees memory if necessary */
378 extern
379 SCIP_RETCODE SCIProwRelease(
380  SCIP_ROW** row, /**< pointer to LP row */
381  BMS_BLKMEM* blkmem, /**< block memory */
382  SCIP_SET* set, /**< global SCIP settings */
383  SCIP_LP* lp /**< current LP data */
384  );
385 
386 /** enables delaying of row sorting */
387 extern
388 void SCIProwDelaySort(
389  SCIP_ROW* row /**< LP row */
390  );
391 
392 /** disables delaying of row sorting, sorts row and merges coefficients with equal columns */
393 extern
394 void SCIProwForceSort(
395  SCIP_ROW* row, /**< LP row */
396  SCIP_SET* set /**< global SCIP settings */
397  );
398 
399 /** adds a previously non existing coefficient to an LP row */
400 extern
401 SCIP_RETCODE SCIProwAddCoef(
402  SCIP_ROW* row, /**< LP row */
403  BMS_BLKMEM* blkmem, /**< block memory */
404  SCIP_SET* set, /**< global SCIP settings */
405  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
406  SCIP_LP* lp, /**< current LP data */
407  SCIP_COL* col, /**< LP column */
408  SCIP_Real val /**< value of coefficient */
409  );
410 
411 /** deletes coefficient from row */
412 extern
413 SCIP_RETCODE SCIProwDelCoef(
414  SCIP_ROW* row, /**< LP row */
415  BMS_BLKMEM* blkmem, /**< block memory */
416  SCIP_SET* set, /**< global SCIP settings */
417  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
418  SCIP_LP* lp, /**< current LP data */
419  SCIP_COL* col /**< coefficient to be deleted */
420  );
421 
422 /** changes or adds a coefficient to an LP row */
423 extern
424 SCIP_RETCODE SCIProwChgCoef(
425  SCIP_ROW* row, /**< LP row */
426  BMS_BLKMEM* blkmem, /**< block memory */
427  SCIP_SET* set, /**< global SCIP settings */
428  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
429  SCIP_LP* lp, /**< current LP data */
430  SCIP_COL* col, /**< LP column */
431  SCIP_Real val /**< value of coefficient */
432  );
433 
434 /** increases value of an existing or nonexisting coefficient in an LP column */
435 extern
436 SCIP_RETCODE SCIProwIncCoef(
437  SCIP_ROW* row, /**< LP row */
438  BMS_BLKMEM* blkmem, /**< block memory */
439  SCIP_SET* set, /**< global SCIP settings */
440  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
441  SCIP_LP* lp, /**< current LP data */
442  SCIP_COL* col, /**< LP column */
443  SCIP_Real incval /**< value to add to the coefficient */
444  );
445 
446 /** changes constant value of a row */
447 extern
448 SCIP_RETCODE SCIProwChgConstant(
449  SCIP_ROW* row, /**< LP row */
450  BMS_BLKMEM* blkmem, /**< block memory */
451  SCIP_SET* set, /**< global SCIP settings */
452  SCIP_STAT* stat, /**< problem statistics */
453  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
454  SCIP_LP* lp, /**< current LP data */
455  SCIP_Real constant /**< new constant value */
456  );
457 
458 /** add constant value to a row */
459 extern
460 SCIP_RETCODE SCIProwAddConstant(
461  SCIP_ROW* row, /**< LP row */
462  BMS_BLKMEM* blkmem, /**< block memory */
463  SCIP_SET* set, /**< global SCIP settings */
464  SCIP_STAT* stat, /**< problem statistics */
465  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
466  SCIP_LP* lp, /**< current LP data */
467  SCIP_Real addval /**< constant value to add to the row */
468  );
469 
470 /** changes left hand side of LP row */
471 extern
472 SCIP_RETCODE SCIProwChgLhs(
473  SCIP_ROW* row, /**< LP row */
474  BMS_BLKMEM* blkmem, /**< block memory */
475  SCIP_SET* set, /**< global SCIP settings */
476  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
477  SCIP_LP* lp, /**< current LP data */
478  SCIP_Real lhs /**< new left hand side */
479  );
480 
481 /** changes right hand side of LP row */
482 extern
483 SCIP_RETCODE SCIProwChgRhs(
484  SCIP_ROW* row, /**< LP row */
485  BMS_BLKMEM* blkmem, /**< block memory */
486  SCIP_SET* set, /**< global SCIP settings */
487  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
488  SCIP_LP* lp, /**< current LP data */
489  SCIP_Real rhs /**< new right hand side */
490  );
491 
492 /** changes the local flag of LP row */
493 extern
494 SCIP_RETCODE SCIProwChgLocal(
495  SCIP_ROW* row, /**< LP row */
496  SCIP_Bool local /**< new value for local flag */
497  );
498 
499 /** tries to find a value, such that all row coefficients, if scaled with this value become integral */
500 extern
501 SCIP_RETCODE SCIProwCalcIntegralScalar(
502  SCIP_ROW* row, /**< LP row */
503  SCIP_SET* set, /**< global SCIP settings */
504  SCIP_Real mindelta, /**< minimal relative allowed difference of scaled coefficient s*c and integral i */
505  SCIP_Real maxdelta, /**< maximal relative allowed difference of scaled coefficient s*c and integral i */
506  SCIP_Longint maxdnom, /**< maximal denominator allowed in rational numbers */
507  SCIP_Real maxscale, /**< maximal allowed scalar */
508  SCIP_Bool usecontvars, /**< should the coefficients of the continuous variables also be made integral? */
509  SCIP_Real* intscalar, /**< pointer to store scalar that would make the coefficients integral */
510  SCIP_Bool* success /**< stores whether returned value is valid */
511  );
512 
513 /** tries to scale row, s.t. all coefficients become integral */
514 extern
515 SCIP_RETCODE SCIProwMakeIntegral(
516  SCIP_ROW* row, /**< LP row */
517  BMS_BLKMEM* blkmem, /**< block memory */
518  SCIP_SET* set, /**< global SCIP settings */
519  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
520  SCIP_STAT* stat, /**< problem statistics */
521  SCIP_LP* lp, /**< current LP data */
522  SCIP_Real mindelta, /**< minimal relative allowed difference of scaled coefficient s*c and integral i */
523  SCIP_Real maxdelta, /**< maximal relative allowed difference of scaled coefficient s*c and integral i */
524  SCIP_Longint maxdnom, /**< maximal denominator allowed in rational numbers */
525  SCIP_Real maxscale, /**< maximal value to scale row with */
526  SCIP_Bool usecontvars, /**< should the coefficients of the continuous variables also be made integral? */
527  SCIP_Bool* success /**< stores whether row could be made rational */
528  );
529 
530 /** recalculates the current activity of a row */
531 extern
532 void SCIProwRecalcLPActivity(
533  SCIP_ROW* row, /**< LP row */
534  SCIP_STAT* stat /**< problem statistics */
535  );
536 
537 /** returns the activity of a row in the current LP solution */
538 extern
539 SCIP_Real SCIProwGetLPActivity(
540  SCIP_ROW* row, /**< LP row */
541  SCIP_SET* set, /**< global SCIP settings */
542  SCIP_STAT* stat, /**< problem statistics */
543  SCIP_LP* lp /**< current LP data */
544  );
545 
546 /** returns the feasibility of a row in the current LP solution: negative value means infeasibility */
547 extern
548 SCIP_Real SCIProwGetLPFeasibility(
549  SCIP_ROW* row, /**< LP row */
550  SCIP_SET* set, /**< global SCIP settings */
551  SCIP_STAT* stat, /**< problem statistics */
552  SCIP_LP* lp /**< current LP data */
553  );
554 
555 /** returns the feasibility of a row in the current relaxed solution: negative value means infeasibility */
556 extern
557 SCIP_Real SCIProwGetRelaxFeasibility(
558  SCIP_ROW* row, /**< LP row */
559  SCIP_SET* set, /**< global SCIP settings */
560  SCIP_STAT* stat /**< problem statistics */
561  );
562 
563 /** returns the feasibility of a row in the current NLP solution: negative value means infeasibility */
564 extern
565 SCIP_Real SCIProwGetNLPFeasibility(
566  SCIP_ROW* row, /**< LP row */
567  SCIP_SET* set, /**< global SCIP settings */
568  SCIP_STAT* stat /**< problem statistics */
569  );
570 
571 /** calculates the current pseudo activity of a row */
572 extern
573 void SCIProwRecalcPseudoActivity(
574  SCIP_ROW* row, /**< row data */
575  SCIP_STAT* stat /**< problem statistics */
576  );
577 
578 /** returns the pseudo activity of a row in the current pseudo solution */
579 extern
580 SCIP_Real SCIProwGetPseudoActivity(
581  SCIP_ROW* row, /**< LP row */
582  SCIP_SET* set, /**< global SCIP settings */
583  SCIP_STAT* stat /**< problem statistics */
584  );
585 
586 /** returns the pseudo feasibility of a row in the current pseudo solution: negative value means infeasibility */
587 extern
588 SCIP_Real SCIProwGetPseudoFeasibility(
589  SCIP_ROW* row, /**< LP row */
590  SCIP_SET* set, /**< global SCIP settings */
591  SCIP_STAT* stat /**< problem statistics */
592  );
593 
594 /** returns the activity of a row for a given solution */
595 extern
596 SCIP_Real SCIProwGetSolActivity(
597  SCIP_ROW* row, /**< LP row */
598  SCIP_SET* set, /**< global SCIP settings */
599  SCIP_STAT* stat, /**< problem statistics data */
600  SCIP_SOL* sol /**< primal CIP solution */
601  );
602 
603 /** returns the feasibility of a row for the given solution */
604 extern
605 SCIP_Real SCIProwGetSolFeasibility(
606  SCIP_ROW* row, /**< LP row */
607  SCIP_SET* set, /**< global SCIP settings */
608  SCIP_STAT* stat, /**< problem statistics data */
609  SCIP_SOL* sol /**< primal CIP solution */
610  );
611 
612 /** returns the minimal activity of a row w.r.t. the columns' bounds */
613 extern
614 SCIP_Real SCIProwGetMinActivity(
615  SCIP_ROW* row, /**< LP row */
616  SCIP_SET* set, /**< global SCIP settings */
617  SCIP_STAT* stat /**< problem statistics data */
618  );
619 
620 /** returns the maximal activity of a row w.r.t. the columns' bounds */
621 extern
622 SCIP_Real SCIProwGetMaxActivity(
623  SCIP_ROW* row, /**< LP row */
624  SCIP_SET* set, /**< global SCIP settings */
625  SCIP_STAT* stat /**< problem statistics data */
626  );
627 
628 /** returns whether the row is unmodifiable and redundant w.r.t. the columns' bounds */
629 extern
630 SCIP_Bool SCIProwIsRedundant(
631  SCIP_ROW* row, /**< LP row */
632  SCIP_SET* set, /**< global SCIP settings */
633  SCIP_STAT* stat /**< problem statistics data */
634  );
635 
636 /** gets maximal absolute value of row vector coefficients */
637 extern
638 SCIP_Real SCIProwGetMaxval(
639  SCIP_ROW* row, /**< LP row */
640  SCIP_SET* set /**< global SCIP settings */
641  );
642 
643 /** gets minimal absolute value of row vector's non-zero coefficients */
644 extern
645 SCIP_Real SCIProwGetMinval(
646  SCIP_ROW* row, /**< LP row */
647  SCIP_SET* set /**< global SCIP settings */
648  );
649 
650 /** gets maximal column index of row entries */
651 int SCIProwGetMaxidx(
652  SCIP_ROW* row, /**< LP row */
653  SCIP_SET* set /**< global SCIP settings */
654  );
655 
656 /** gets minimal column index of row entries */
657 int SCIProwGetMinidx(
658  SCIP_ROW* row, /**< LP row */
659  SCIP_SET* set /**< global SCIP settings */
660  );
661 
662 /** returns row's efficacy with respect to the current LP solution: e = -feasibility/norm */
663 extern
664 SCIP_Real SCIProwGetLPEfficacy(
665  SCIP_ROW* row, /**< LP row */
666  SCIP_SET* set, /**< global SCIP settings */
667  SCIP_STAT* stat, /**< problem statistics data */
668  SCIP_LP* lp /**< current LP data */
669  );
670 
671 /** returns whether the row's efficacy with respect to the current LP solution is greater than the minimal cut efficacy */
672 extern
673 SCIP_Bool SCIProwIsLPEfficacious(
674  SCIP_ROW* row, /**< LP row */
675  SCIP_SET* set, /**< global SCIP settings */
676  SCIP_STAT* stat, /**< problem statistics data */
677  SCIP_LP* lp, /**< current LP data */
678  SCIP_Bool root /**< should the root's minimal cut efficacy be used? */
679  );
680 
681 /** returns row's efficacy with respect to the given primal solution: e = -feasibility/norm */
682 extern
683 SCIP_Real SCIProwGetSolEfficacy(
684  SCIP_ROW* row, /**< LP row */
685  SCIP_SET* set, /**< global SCIP settings */
686  SCIP_STAT* stat, /**< problem statistics data */
687  SCIP_SOL* sol /**< primal CIP solution */
688  );
689 
690 /** returns whether the row's efficacy with respect to the given primal solution is greater than the minimal cut
691  * efficacy
692  */
693 extern
694 SCIP_Bool SCIProwIsSolEfficacious(
695  SCIP_ROW* row, /**< LP row */
696  SCIP_SET* set, /**< global SCIP settings */
697  SCIP_STAT* stat, /**< problem statistics data */
698  SCIP_SOL* sol, /**< primal CIP solution */
699  SCIP_Bool root /**< should the root's minimal cut efficacy be used? */
700  );
701 
702 /** returns row's efficacy with respect to the relaxed solution: e = -feasibility/norm */
703 extern
704 SCIP_Real SCIProwGetRelaxEfficacy(
705  SCIP_ROW* row, /**< LP row */
706  SCIP_SET* set, /**< global SCIP settings */
707  SCIP_STAT* stat /**< problem statistics data */
708  );
709 
710 /** returns row's efficacy with respect to the NLP solution: e = -feasibility/norm */
711 extern
712 SCIP_Real SCIProwGetNLPEfficacy(
713  SCIP_ROW* row, /**< LP row */
714  SCIP_SET* set, /**< global SCIP settings */
715  SCIP_STAT* stat /**< problem statistics data */
716  );
717 
718 /** gets parallelism of row with objective function: if the returned value is 1, the row is parallel to the objective
719  * function, if the value is 0, it is orthogonal to the objective function
720  */
721 extern
722 SCIP_Real SCIProwGetObjParallelism(
723  SCIP_ROW* row, /**< LP row */
724  SCIP_SET* set, /**< global SCIP settings */
725  SCIP_LP* lp /**< current LP data */
726  );
727 
728 /** includes event handler with given data in row's event filter */
729 extern
730 SCIP_RETCODE SCIProwCatchEvent(
731  SCIP_ROW* row, /**< row */
732  BMS_BLKMEM* blkmem, /**< block memory */
733  SCIP_SET* set, /**< global SCIP settings */
734  SCIP_EVENTTYPE eventtype, /**< event type to catch */
735  SCIP_EVENTHDLR* eventhdlr, /**< event handler to call for the event processing */
736  SCIP_EVENTDATA* eventdata, /**< event data to pass to the event handler for the event processing */
737  int* filterpos /**< pointer to store position of event filter entry, or NULL */
738  );
739 
740 /** deletes event handler with given data from row's event filter */
741 extern
742 SCIP_RETCODE SCIProwDropEvent(
743  SCIP_ROW* row, /**< row */
744  BMS_BLKMEM* blkmem, /**< block memory */
745  SCIP_SET* set, /**< global SCIP settings */
746  SCIP_EVENTTYPE eventtype, /**< event type mask of dropped event */
747  SCIP_EVENTHDLR* eventhdlr, /**< event handler to call for the event processing */
748  SCIP_EVENTDATA* eventdata, /**< event data to pass to the event handler for the event processing */
749  int filterpos /**< position of event filter entry returned by SCIPvarCatchEvent(), or -1 */
750  );
751 
752 /** marks a row to be not removable from the LP in the current node */
753 extern
754 void SCIProwMarkNotRemovableLocal(
755  SCIP_ROW* row, /**< LP row */
756  SCIP_STAT* stat /**< problem statistics */
757  );
758 
759 
760 /*
761  * LP methods
762  */
763 
764 /** creates empty LP data object */
765 extern
766 SCIP_RETCODE SCIPlpCreate(
767  SCIP_LP** lp, /**< pointer to LP data object */
768  SCIP_SET* set, /**< global SCIP settings */
769  SCIP_MESSAGEHDLR* messagehdlr, /**< message handler */
770  SCIP_STAT* stat, /**< problem statistics */
771  const char* name /**< problem name */
772  );
773 
774 /** frees LP data object */
775 extern
776 SCIP_RETCODE SCIPlpFree(
777  SCIP_LP** lp, /**< pointer to LP data object */
778  BMS_BLKMEM* blkmem, /**< block memory */
779  SCIP_SET* set, /**< global SCIP settings */
780  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
781  SCIP_EVENTFILTER* eventfilter /**< global event filter */
782  );
783 
784 /** resets the LP to the empty LP by removing all columns and rows from LP, releasing all rows, and flushing the
785  * changes to the LP solver
786  */
787 extern
788 SCIP_RETCODE SCIPlpReset(
789  SCIP_LP* lp, /**< LP data */
790  BMS_BLKMEM* blkmem, /**< block memory */
791  SCIP_SET* set, /**< global SCIP settings */
792  SCIP_STAT* stat, /**< problem statistics */
793  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
794  SCIP_EVENTFILTER* eventfilter /**< global event filter */
795  );
796 
797 /** adds a column to the LP and captures the variable */
798 extern
799 SCIP_RETCODE SCIPlpAddCol(
800  SCIP_LP* lp, /**< LP data */
801  SCIP_SET* set, /**< global SCIP settings */
802  SCIP_COL* col, /**< LP column */
803  int depth /**< depth in the tree where the column addition is performed */
804  );
805 
806 /** adds a row to the LP and captures it */
807 extern
808 SCIP_RETCODE SCIPlpAddRow(
809  SCIP_LP* lp, /**< LP data */
810  BMS_BLKMEM* blkmem, /**< block memory buffers */
811  SCIP_SET* set, /**< global SCIP settings */
812  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
813  SCIP_EVENTFILTER* eventfilter, /**< global event filter */
814  SCIP_ROW* row, /**< LP row */
815  int depth /**< depth in the tree where the row addition is performed */
816  );
817 
818 /** removes all columns after the given number of columns from the LP */
819 extern
820 SCIP_RETCODE SCIPlpShrinkCols(
821  SCIP_LP* lp, /**< LP data */
822  SCIP_SET* set, /**< global SCIP settings */
823  int newncols /**< new number of columns in the LP */
824  );
825 
826 /** removes and releases all rows after the given number of rows from the LP */
827 extern
828 SCIP_RETCODE SCIPlpShrinkRows(
829  SCIP_LP* lp, /**< LP data */
830  BMS_BLKMEM* blkmem, /**< block memory */
831  SCIP_SET* set, /**< global SCIP settings */
832  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
833  SCIP_EVENTFILTER* eventfilter, /**< global event filter */
834  int newnrows /**< new number of rows in the LP */
835  );
836 
837 /** removes all columns and rows from LP, releases all rows */
838 extern
839 SCIP_RETCODE SCIPlpClear(
840  SCIP_LP* lp, /**< LP data */
841  BMS_BLKMEM* blkmem, /**< block memory */
842  SCIP_SET* set, /**< global SCIP settings */
843  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
844  SCIP_EVENTFILTER* eventfilter /**< global event filter */
845  );
846 
847 /** remembers number of columns and rows to track the newly added ones */
848 extern
849 void SCIPlpMarkSize(
850  SCIP_LP* lp /**< current LP data */
851  );
852 
853 /** sets the remembered number of columns and rows to the given values */
854 extern
855 void SCIPlpSetSizeMark(
856  SCIP_LP* lp, /**< current LP data */
857  int nrows, /**< number of rows to set the size marker to */
858  int ncols /**< number of columns to set the size marker to */
859  );
860 
861 /** gets all indices of basic columns and rows: index i >= 0 corresponds to column i, index i < 0 to row -i-1 */
862 extern
863 SCIP_RETCODE SCIPlpGetBasisInd(
864  SCIP_LP* lp, /**< LP data */
865  int* basisind /**< pointer to store basis indices ready to keep number of rows entries */
866  );
867 
868 /** gets current basis status for columns and rows; arrays must be large enough to store the basis status */
869 extern
870 SCIP_RETCODE SCIPlpGetBase(
871  SCIP_LP* lp, /**< LP data */
872  int* cstat, /**< array to store column basis status, or NULL */
873  int* rstat /**< array to store row basis status, or NULL */
874  );
875 
876 /** gets a row from the inverse basis matrix B^-1 */
877 extern
878 SCIP_RETCODE SCIPlpGetBInvRow(
879  SCIP_LP* lp, /**< LP data */
880  int r, /**< row number */
881  SCIP_Real* coef, /**< pointer to store the coefficients of the row */
882  int* inds, /**< array to store the non-zero indices, or NULL */
883  int* ninds /**< pointer to store the number of non-zero indices, or NULL
884  * (-1: if we do not store sparsity informations) */
885  );
886 
887 /** gets a column from the inverse basis matrix B^-1 */
888 extern
889 SCIP_RETCODE SCIPlpGetBInvCol(
890  SCIP_LP* lp, /**< LP data */
891  int c, /**< column number of B^-1; this is NOT the number of the column in the LP
892  * returned by SCIPcolGetLPPos(); you have to call SCIPgetBasisInd()
893  * to get the array which links the B^-1 column numbers to the row and
894  * column numbers of the LP! c must be between 0 and nrows-1, since the
895  * basis has the size nrows * nrows */
896  SCIP_Real* coef, /**< pointer to store the coefficients of the column */
897  int* inds, /**< array to store the non-zero indices, or NULL */
898  int* ninds /**< pointer to store the number of non-zero indices, or NULL
899  * (-1: if we do not store sparsity informations) */
900  );
901 
902 /** gets a row from the product of inverse basis matrix B^-1 and coefficient matrix A (i.e. from B^-1 * A) */
903 extern
904 SCIP_RETCODE SCIPlpGetBInvARow(
905  SCIP_LP* lp, /**< LP data */
906  int r, /**< row number */
907  SCIP_Real* binvrow, /**< row in B^-1 from prior call to SCIPlpGetBInvRow(), or NULL */
908  SCIP_Real* coef, /**< pointer to store the coefficients of the row */
909  int* inds, /**< array to store the non-zero indices, or NULL */
910  int* ninds /**< pointer to store the number of non-zero indices, or NULL
911  * (-1: if we do not store sparsity informations) */
912  );
913 
914 /** gets a column from the product of inverse basis matrix B^-1 and coefficient matrix A (i.e. from B^-1 * A),
915  * i.e., it computes B^-1 * A_c with A_c being the c'th column of A
916  */
917 extern
918 SCIP_RETCODE SCIPlpGetBInvACol(
919  SCIP_LP* lp, /**< LP data */
920  int c, /**< column number which can be accessed by SCIPcolGetLPPos() */
921  SCIP_Real* coef, /**< pointer to store the coefficients of the column */
922  int* inds, /**< array to store the non-zero indices, or NULL */
923  int* ninds /**< pointer to store the number of non-zero indices, or NULL
924  * (-1: if we do not store sparsity informations) */
925  );
926 
927 /** calculates a weighted sum of all LP rows; for negative weights, the left and right hand side of the corresponding
928  * LP row are swapped in the summation
929  */
930 extern
931 SCIP_RETCODE SCIPlpSumRows(
932  SCIP_LP* lp, /**< LP data */
933  SCIP_SET* set, /**< global SCIP settings */
934  SCIP_PROB* prob, /**< problem data */
935  SCIP_Real* weights, /**< row weights in row summation */
936  SCIP_REALARRAY* sumcoef, /**< array to store sum coefficients indexed by variables' probindex */
937  SCIP_Real* sumlhs, /**< pointer to store the left hand side of the row summation */
938  SCIP_Real* sumrhs /**< pointer to store the right hand side of the row summation */
939  );
940 
941 /* calculates a MIR cut out of the weighted sum of LP rows; The weights of modifiable rows are set to 0.0, because these
942  * rows cannot participate in a MIR cut.
943  */
944 extern
945 SCIP_RETCODE SCIPlpCalcMIR(
946  SCIP_LP* lp, /**< LP data */
947  SCIP_SET* set, /**< global SCIP settings */
948  SCIP_STAT* stat, /**< problem statistics */
949  SCIP_PROB* prob, /**< problem data */
950  SCIP_SOL* sol, /**< the solution that should be separated, or NULL for LP solution */
951  SCIP_Real boundswitch, /**< fraction of domain up to which lower bound is used in transformation */
952  SCIP_Bool usevbds, /**< should variable bounds be used in bound transformation? */
953  SCIP_Bool allowlocal, /**< should local information allowed to be used, resulting in a local cut? */
954  SCIP_Bool fixintegralrhs, /**< should complementation tried to be adjusted such that rhs gets fractional? */
955  int* boundsfortrans, /**< bounds that should be used for transformed variables: vlb_idx/vub_idx,
956  * -1 for global lb/ub, -2 for local lb/ub, or -3 for using closest bound;
957  * NULL for using closest bound for all variables */
958  SCIP_BOUNDTYPE* boundtypesfortrans, /**< type of bounds that should be used for transformed variables;
959  * NULL for using closest bound for all variables */
960  int maxmksetcoefs, /**< maximal number of nonzeros allowed in aggregated base inequality */
961  SCIP_Real maxweightrange, /**< maximal valid range max(|weights|)/min(|weights|) of row weights */
962  SCIP_Real minfrac, /**< minimal fractionality of rhs to produce MIR cut for */
963  SCIP_Real maxfrac, /**< maximal fractionality of rhs to produce MIR cut for */
964  SCIP_Real* weights, /**< row weights in row summation */
965  SCIP_Real maxweight, /**< largest magnitude of weights; set to -1 if sparsity information is unknown */
966  int* weightinds, /**< sparsity pattern of weights; size nrowinds; NULL if sparsity info is unknown */
967  int nweightinds, /**< number of nonzeros in weights; -1 if rowinds is NULL */
968  int rowlensum, /**< total number of non-zeros in used rows (row associated with nonzero weight coefficient); -1 if unknown */
969  int* sidetypes, /**< specify row side type (-1 = lhs, 0 = unkown, 1 = rhs) or NULL for automatic choices */
970  SCIP_Real scale, /**< additional scaling factor multiplied to all rows */
971  SCIP_Real* mksetcoefs, /**< array to store mixed knapsack set coefficients: size nvars; or NULL */
972  SCIP_Bool* mksetcoefsvalid, /**< pointer to store whether mixed knapsack set coefficients are valid; or NULL */
973  SCIP_Real* mircoef, /**< array to store MIR coefficients: must be of size nvars */
974  SCIP_Real* mirrhs, /**< pointer to store the right hand side of the MIR row */
975  SCIP_Real* cutactivity, /**< pointer to store the activity of the resulting cut */
976  SCIP_Bool* success, /**< pointer to store whether the returned coefficients are a valid MIR cut */
977  SCIP_Bool* cutislocal, /**< pointer to store whether the returned cut is only valid locally */
978  int* cutrank /**< pointer to store the rank of the returned cut; or NULL */
979  );
980 
981 /* calculates a strong CG cut out of the weighted sum of LP rows; The weights of modifiable rows are set to 0.0, because
982  * these rows cannot participate in a strong CG cut.
983  */
984 extern
985 SCIP_RETCODE SCIPlpCalcStrongCG(
986  SCIP_LP* lp, /**< LP data */
987  SCIP_SET* set, /**< global SCIP settings */
988  SCIP_STAT* stat, /**< problem statistics */
989  SCIP_PROB* prob, /**< problem data */
990  SCIP_Real boundswitch, /**< fraction of domain up to which lower bound is used in transformation */
991  SCIP_Bool usevbds, /**< should variable bounds be used in bound transformation? */
992  SCIP_Bool allowlocal, /**< should local information allowed to be used, resulting in a local cut? */
993  int maxmksetcoefs, /**< maximal number of nonzeros allowed in aggregated base inequality */
994  SCIP_Real maxweightrange, /**< maximal valid range max(|weights|)/min(|weights|) of row weights */
995  SCIP_Real minfrac, /**< minimal fractionality of rhs to produce strong CG cut for */
996  SCIP_Real maxfrac, /**< maximal fractionality of rhs to produce strong CG cut for */
997  SCIP_Real* weights, /**< row weights in row summation */
998  int* rowinds, /**< array to store indices of non-zero entries of the weights array, or
999  * NULL */
1000  int nrowinds, /**< number of non-zero entries in weights array, -1 if rowinds is NULL */
1001  SCIP_Real scale, /**< additional scaling factor multiplied to all rows */
1002  SCIP_Real* strongcgcoef, /**< array to store strong CG coefficients: must be of size nvars */
1003  SCIP_Real* strongcgrhs, /**< pointer to store the right hand side of the strong CG row */
1004  SCIP_Real* cutactivity, /**< pointer to store the activity of the resulting cut */
1005  SCIP_Bool* success, /**< pointer to store whether the returned coefficients are a valid strong CG cut */
1006  SCIP_Bool* cutislocal, /**< pointer to store whether the returned cut is only valid locally */
1007  int* cutrank /**< pointer to store the rank of the returned cut; or NULL */
1008  );
1009 
1010 /** stores LP state (like basis information) into LP state object */
1011 extern
1012 SCIP_RETCODE SCIPlpGetState(
1013  SCIP_LP* lp, /**< LP data */
1014  BMS_BLKMEM* blkmem, /**< block memory */
1015  SCIP_LPISTATE** lpistate /**< pointer to LP state information (like basis information) */
1016  );
1017 
1018 /** loads LP state (like basis information) into solver */
1019 extern
1020 SCIP_RETCODE SCIPlpSetState(
1021  SCIP_LP* lp, /**< LP data */
1022  BMS_BLKMEM* blkmem, /**< block memory */
1023  SCIP_SET* set, /**< global SCIP settings */
1024  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
1025  SCIP_LPISTATE* lpistate, /**< LP state information (like basis information) */
1026  SCIP_Bool wasprimfeas, /**< primal feasibility when LP state information was stored */
1027  SCIP_Bool wasprimchecked, /**< true if the LP solution has passed the primal feasibility check */
1028  SCIP_Bool wasdualfeas, /**< dual feasibility when LP state information was stored */
1029  SCIP_Bool wasdualchecked /**< true if the LP solution has passed the dual feasibility check */
1030  );
1031 
1032 /** frees LP state information */
1033 extern
1034 SCIP_RETCODE SCIPlpFreeState(
1035  SCIP_LP* lp, /**< LP data */
1036  BMS_BLKMEM* blkmem, /**< block memory */
1037  SCIP_LPISTATE** lpistate /**< pointer to LP state information (like basis information) */
1038  );
1039 
1040 /** stores pricing norms into LP norms object */
1041 extern
1042 SCIP_RETCODE SCIPlpGetNorms(
1043  SCIP_LP* lp, /**< LP data */
1044  BMS_BLKMEM* blkmem, /**< block memory */
1045  SCIP_LPINORMS** lpinorms /**< pointer to LP pricing norms information */
1046  );
1047 
1048 /** loads pricing norms from LP norms object into solver */
1049 extern
1050 SCIP_RETCODE SCIPlpSetNorms(
1051  SCIP_LP* lp, /**< LP data */
1052  BMS_BLKMEM* blkmem, /**< block memory */
1053  SCIP_LPINORMS* lpinorms /**< LP pricing norms information */
1054  );
1055 
1056 /** frees pricing norms information */
1057 extern
1058 SCIP_RETCODE SCIPlpFreeNorms(
1059  SCIP_LP* lp, /**< LP data */
1060  BMS_BLKMEM* blkmem, /**< block memory */
1061  SCIP_LPINORMS** lpinorms /**< pointer to LP pricing norms information */
1062  );
1063 
1064 /** return the current cutoff bound of the lp */
1065 extern
1066 SCIP_Real SCIPlpGetCutoffbound(
1067  SCIP_LP* lp /**< current LP data */
1068  );
1069 
1070 /** sets the upper objective limit of the LP solver */
1071 extern
1072 SCIP_RETCODE SCIPlpSetCutoffbound(
1073  SCIP_LP* lp, /**< current LP data */
1074  SCIP_SET* set, /**< global SCIP settings */
1075  SCIP_PROB* prob, /**< problem data */
1076  SCIP_Real cutoffbound /**< new upper objective limit */
1077  );
1078 
1079 /** applies all cached changes to the LP solver */
1080 extern
1081 SCIP_RETCODE SCIPlpFlush(
1082  SCIP_LP* lp, /**< current LP data */
1083  BMS_BLKMEM* blkmem, /**< block memory */
1084  SCIP_SET* set, /**< global SCIP settings */
1085  SCIP_EVENTQUEUE* eventqueue /**< event queue */
1086  );
1087 
1088 /** marks the LP to be flushed, even if the LP thinks it is not flushed */
1089 extern
1090 SCIP_RETCODE SCIPlpMarkFlushed(
1091  SCIP_LP* lp, /**< current LP data */
1092  SCIP_SET* set /**< global SCIP settings */
1093  );
1094 
1095 /** solves the LP with simplex algorithm, and copy the solution into the column's data */
1096 extern
1097 SCIP_RETCODE SCIPlpSolveAndEval(
1098  SCIP_LP* lp, /**< LP data */
1099  SCIP_SET* set, /**< global SCIP settings */
1100  SCIP_MESSAGEHDLR* messagehdlr, /**< message handler */
1101  BMS_BLKMEM* blkmem, /**< block memory buffers */
1102  SCIP_STAT* stat, /**< problem statistics */
1103  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
1104  SCIP_EVENTFILTER* eventfilter, /**< global event filter */
1105  SCIP_PROB* prob, /**< problem data */
1106  SCIP_Longint itlim, /**< maximal number of LP iterations to perform, or -1 for no limit */
1107  SCIP_Bool limitresolveiters, /**< should LP iterations for resolving calls be limited?
1108  * (limit is computed within the method w.r.t. the average LP iterations) */
1109  SCIP_Bool aging, /**< should aging and removal of obsolete cols/rows be applied? */
1110  SCIP_Bool keepsol, /**< should the old LP solution be kept if no iterations were performed? */
1111  SCIP_Bool* lperror /**< pointer to store whether an unresolved LP error occurred */
1112  );
1113 
1114 /** gets solution status of current LP */
1115 extern
1116 SCIP_LPSOLSTAT SCIPlpGetSolstat(
1117  SCIP_LP* lp /**< current LP data */
1118  );
1119 
1120 /** sets whether the root LP is a relaxation of the problem and its optimal objective value is a global lower bound */
1121 extern
1122 void SCIPlpSetRootLPIsRelax(
1123  SCIP_LP* lp, /**< LP data */
1124  SCIP_Bool isrelax /**< is the root lp a relaxation of the problem? */
1125  );
1126 
1127 /** returns whether the root lp is a relaxation of the problem and its optimal objective value is a global lower bound */
1128 extern
1129 SCIP_Bool SCIPlpIsRootLPRelax(
1130  SCIP_LP* lp /**< LP data */
1131  );
1132 
1133 /** gets objective value of current LP
1134  *
1135  * @note This method returns the objective value of the current LP solution, which might be primal or dual infeasible
1136  * if a limit was hit during solving. It must not be used as a dual bound if the LP solution status is
1137  * SCIP_LPSOLSTAT_ITERLIMIT or SCIP_LPSOLSTAT_TIMELIMIT.
1138  */
1139 extern
1140 SCIP_Real SCIPlpGetObjval(
1141  SCIP_LP* lp, /**< current LP data */
1142  SCIP_SET* set, /**< global SCIP settings */
1143  SCIP_PROB* prob /**< problem data */
1144  );
1145 
1146 /** gets part of objective value of current LP that results from COLUMN variables only */
1147 extern
1148 SCIP_Real SCIPlpGetColumnObjval(
1149  SCIP_LP* lp /**< current LP data */
1150  );
1151 
1152 /** gets part of objective value of current LP that results from LOOSE variables only */
1153 extern
1154 SCIP_Real SCIPlpGetLooseObjval(
1155  SCIP_LP* lp, /**< current LP data */
1156  SCIP_SET* set, /**< global SCIP settings */
1157  SCIP_PROB* prob /**< problem data */
1158  );
1159 
1160 /** remembers the current LP objective value as root solution value */
1161 extern
1162 void SCIPlpStoreRootObjval(
1163  SCIP_LP* lp, /**< current LP data */
1164  SCIP_SET* set, /**< global SCIP settings */
1165  SCIP_PROB* prob /**< problem data */
1166  );
1167 
1168 /** invalidates the root LP solution value */
1169 extern
1170 void SCIPlpInvalidateRootObjval(
1171  SCIP_LP* lp /**< current LP data */
1172  );
1173 
1174 /** gets the global pseudo objective value; that is all variables set to their best (w.r.t. the objective function)
1175  * global bound
1176  */
1177 extern
1178 SCIP_Real SCIPlpGetGlobalPseudoObjval(
1179  SCIP_LP* lp, /**< current LP data */
1180  SCIP_SET* set, /**< global SCIP settings */
1181  SCIP_PROB* prob /**< problem data */
1182  );
1183 
1184 /** recomputes local and global pseudo objective values */
1185 extern
1186 void SCIPlpRecomputeLocalAndGlobalPseudoObjval(
1187  SCIP_LP* lp, /**< current LP data */
1188  SCIP_SET* set, /**< global SCIP settings */
1189  SCIP_PROB* prob /**< problem data */
1190  );
1191 
1192 /** gets the pseudo objective value for the current search node; that is all variables set to their best (w.r.t. the
1193  * objective function) local bound
1194  */
1195 extern
1196 SCIP_Real SCIPlpGetPseudoObjval(
1197  SCIP_LP* lp, /**< current LP data */
1198  SCIP_SET* set, /**< global SCIP settings */
1199  SCIP_PROB* prob /**< problem data */
1200  );
1201 
1202 /** gets pseudo objective value, if a bound of the given variable would be modified in the given way */
1203 extern
1204 SCIP_Real SCIPlpGetModifiedPseudoObjval(
1205  SCIP_LP* lp, /**< current LP data */
1206  SCIP_SET* set, /**< global SCIP settings */
1207  SCIP_PROB* prob, /**< problem data */
1208  SCIP_VAR* var, /**< problem variable */
1209  SCIP_Real oldbound, /**< old value for bound */
1210  SCIP_Real newbound, /**< new value for bound */
1211  SCIP_BOUNDTYPE boundtype /**< type of bound: lower or upper bound */
1212  );
1213 
1214 /** gets pseudo objective value, if a bound of the given variable would be modified in the given way;
1215  * perform calculations with interval arithmetic to get an exact lower bound
1216  */
1217 extern
1218 SCIP_Real SCIPlpGetModifiedProvedPseudoObjval(
1219  SCIP_LP* lp, /**< current LP data */
1220  SCIP_SET* set, /**< global SCIP settings */
1221  SCIP_VAR* var, /**< problem variable */
1222  SCIP_Real oldbound, /**< old value for bound */
1223  SCIP_Real newbound, /**< new value for bound */
1224  SCIP_BOUNDTYPE boundtype /**< type of bound: lower or upper bound */
1225  );
1226 
1227 /** updates current pseudo and loose objective value for a change in a variable's objective value */
1228 extern
1229 SCIP_RETCODE SCIPlpUpdateVarObj(
1230  SCIP_LP* lp, /**< current LP data */
1231  SCIP_SET* set, /**< global SCIP settings */
1232  SCIP_VAR* var, /**< problem variable that changed */
1233  SCIP_Real oldobj, /**< old objective value of variable */
1234  SCIP_Real newobj /**< new objective value of variable */
1235  );
1236 
1237 /** updates current root pseudo objective value for a global change in a variable's lower bound */
1238 extern
1239 SCIP_RETCODE SCIPlpUpdateVarLbGlobal(
1240  SCIP_LP* lp, /**< current LP data */
1241  SCIP_SET* set, /**< global SCIP settings */
1242  SCIP_VAR* var, /**< problem variable that changed */
1243  SCIP_Real oldlb, /**< old lower bound of variable */
1244  SCIP_Real newlb /**< new lower bound of variable */
1245  );
1246 
1247 /** updates current pseudo and loose objective value for a change in a variable's lower bound */
1248 extern
1249 SCIP_RETCODE SCIPlpUpdateVarLb(
1250  SCIP_LP* lp, /**< current LP data */
1251  SCIP_SET* set, /**< global SCIP settings */
1252  SCIP_VAR* var, /**< problem variable that changed */
1253  SCIP_Real oldlb, /**< old lower bound of variable */
1254  SCIP_Real newlb /**< new lower bound of variable */
1255  );
1256 
1257 /** updates current root pseudo objective value for a global change in a variable's upper bound */
1258 extern
1259 SCIP_RETCODE SCIPlpUpdateVarUbGlobal(
1260  SCIP_LP* lp, /**< current LP data */
1261  SCIP_SET* set, /**< global SCIP settings */
1262  SCIP_VAR* var, /**< problem variable that changed */
1263  SCIP_Real oldub, /**< old upper bound of variable */
1264  SCIP_Real newub /**< new upper bound of variable */
1265  );
1266 
1267 /** updates current pseudo objective value for a change in a variable's upper bound */
1268 extern
1269 SCIP_RETCODE SCIPlpUpdateVarUb(
1270  SCIP_LP* lp, /**< current LP data */
1271  SCIP_SET* set, /**< global SCIP settings */
1272  SCIP_VAR* var, /**< problem variable that changed */
1273  SCIP_Real oldub, /**< old upper bound of variable */
1274  SCIP_Real newub /**< new upper bound of variable */
1275  );
1276 
1277 /** informs LP, that given variable was added to the problem */
1278 extern
1279 SCIP_RETCODE SCIPlpUpdateAddVar(
1280  SCIP_LP* lp, /**< current LP data */
1281  SCIP_SET* set, /**< global SCIP settings */
1282  SCIP_VAR* var /**< variable that is now a LOOSE problem variable */
1283  );
1284 
1285 /** informs LP, that given variable is to be deleted from the problem */
1286 extern
1287 SCIP_RETCODE SCIPlpUpdateDelVar(
1288  SCIP_LP* lp, /**< current LP data */
1289  SCIP_SET* set, /**< global SCIP settings */
1290  SCIP_VAR* var /**< variable that will be deleted from the problem */
1291  );
1292 
1293 /** informs LP, that given formerly loose problem variable is now a column variable */
1294 extern
1295 SCIP_RETCODE SCIPlpUpdateVarColumn(
1296  SCIP_LP* lp, /**< current LP data */
1297  SCIP_SET* set, /**< global SCIP settings */
1298  SCIP_VAR* var /**< problem variable that changed from LOOSE to COLUMN */
1299  );
1300 
1301 /** informs LP, that given formerly column problem variable is now again a loose variable */
1302 extern
1303 SCIP_RETCODE SCIPlpUpdateVarLoose(
1304  SCIP_LP* lp, /**< current LP data */
1305  SCIP_SET* set, /**< global SCIP settings */
1306  SCIP_VAR* var /**< problem variable that changed from COLUMN to LOOSE */
1307  );
1308 
1309 /** decrease the number of loose variables by one */
1310 extern
1311 void SCIPlpDecNLoosevars(
1312  SCIP_LP* lp /**< current LP data */
1313  );
1314 
1315 /** stores the LP solution in the columns and rows */
1316 extern
1317 SCIP_RETCODE SCIPlpGetSol(
1318  SCIP_LP* lp, /**< current LP data */
1319  SCIP_SET* set, /**< global SCIP settings */
1320  SCIP_STAT* stat, /**< problem statistics */
1321  SCIP_Bool* primalfeasible, /**< pointer to store whether the solution is primal feasible, or NULL */
1322  SCIP_Bool* dualfeasible /**< pointer to store whether the solution is dual feasible, or NULL */
1323  );
1324 
1325 /** stores LP solution with infinite objective value in the columns and rows */
1326 extern
1327 SCIP_RETCODE SCIPlpGetUnboundedSol(
1328  SCIP_LP* lp, /**< current LP data */
1329  SCIP_SET* set, /**< global SCIP settings */
1330  SCIP_STAT* stat, /**< problem statistics */
1331  SCIP_Bool* primalfeasible, /**< pointer to store whether the solution is primal feasible, or NULL */
1332  SCIP_Bool* rayfeasible /**< pointer to store whether the primal ray is a feasible unboundedness proof, or NULL */
1333  );
1334 
1335 /** returns primal ray proving the unboundedness of the current LP */
1336 extern
1337 SCIP_RETCODE SCIPlpGetPrimalRay(
1338  SCIP_LP* lp, /**< current LP data */
1339  SCIP_SET* set, /**< global SCIP settings */
1340  SCIP_Real* ray /**< array for storing primal ray values, they are stored w.r.t. the problem index of the variables,
1341  * so the size of this array should be at least number of active variables
1342  * (all entries have to be initialized to 0 before) */
1343  );
1344 
1345 /** stores the dual Farkas multipliers for infeasibility proof in rows */
1346 extern
1347 SCIP_RETCODE SCIPlpGetDualfarkas(
1348  SCIP_LP* lp, /**< current LP data */
1349  SCIP_SET* set, /**< global SCIP settings */
1350  SCIP_STAT* stat /**< problem statistics */
1351  );
1352 
1353 /** get number of iterations used in last LP solve */
1354 extern
1355 SCIP_RETCODE SCIPlpGetIterations(
1356  SCIP_LP* lp, /**< current LP data */
1357  int* iterations /**< pointer to store the iteration count */
1358  );
1359 
1360 /** increases age of columns with solution value 0.0 and rows with activity not at its bounds,
1361  * resets age of non-zero columns and sharp rows
1362  */
1363 extern
1364 SCIP_RETCODE SCIPlpUpdateAges(
1365  SCIP_LP* lp, /**< current LP data */
1366  SCIP_STAT* stat /**< problem statistics */
1367  );
1368 
1369 /** removes all non-basic columns and basic rows in the part of the LP created at the current node, that are too old */
1370 extern
1371 SCIP_RETCODE SCIPlpRemoveNewObsoletes(
1372  SCIP_LP* lp, /**< current LP data */
1373  BMS_BLKMEM* blkmem, /**< block memory buffers */
1374  SCIP_SET* set, /**< global SCIP settings */
1375  SCIP_STAT* stat, /**< problem statistics */
1376  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
1377  SCIP_EVENTFILTER* eventfilter /**< global event filter */
1378  );
1379 
1380 /** removes all non-basic columns and basic rows in whole LP, that are too old */
1381 extern
1382 SCIP_RETCODE SCIPlpRemoveAllObsoletes(
1383  SCIP_LP* lp, /**< current LP data */
1384  BMS_BLKMEM* blkmem, /**< block memory buffers */
1385  SCIP_SET* set, /**< global SCIP settings */
1386  SCIP_STAT* stat, /**< problem statistics */
1387  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
1388  SCIP_EVENTFILTER* eventfilter /**< global event filter */
1389  );
1390 
1391 /** removes all non-basic columns at 0.0 and basic rows in the part of the LP created at the current node */
1392 extern
1393 SCIP_RETCODE SCIPlpCleanupNew(
1394  SCIP_LP* lp, /**< current LP data */
1395  BMS_BLKMEM* blkmem, /**< block memory buffers */
1396  SCIP_SET* set, /**< global SCIP settings */
1397  SCIP_STAT* stat, /**< problem statistics */
1398  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
1399  SCIP_EVENTFILTER* eventfilter, /**< global event filter */
1400  SCIP_Bool root /**< are we at the root node? */
1401  );
1402 
1403 /** removes all non-basic columns at 0.0 and basic rows in the whole LP */
1404 extern
1405 SCIP_RETCODE SCIPlpCleanupAll(
1406  SCIP_LP* lp, /**< current LP data */
1407  BMS_BLKMEM* blkmem, /**< block memory buffers */
1408  SCIP_SET* set, /**< global SCIP settings */
1409  SCIP_STAT* stat, /**< problem statistics */
1410  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
1411  SCIP_EVENTFILTER* eventfilter, /**< global event filter */
1412  SCIP_Bool root /**< are we at the root node? */
1413  );
1414 
1415 /** removes all redundant rows that were added at the current node */
1416 extern
1417 SCIP_RETCODE SCIPlpRemoveRedundantRows(
1418  SCIP_LP* lp, /**< current LP data */
1419  BMS_BLKMEM* blkmem, /**< block memory buffers */
1420  SCIP_SET* set, /**< global SCIP settings */
1421  SCIP_STAT* stat, /**< problem statistics */
1422  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
1423  SCIP_EVENTFILTER* eventfilter /**< global event filter */
1424  );
1425 
1426 /** initiates LP diving */
1427 extern
1428 SCIP_RETCODE SCIPlpStartDive(
1429  SCIP_LP* lp, /**< current LP data */
1430  BMS_BLKMEM* blkmem, /**< block memory */
1431  SCIP_SET* set, /**< global SCIP settings */
1432  SCIP_STAT* stat /**< problem statistics */
1433  );
1434 
1435 /** quits LP diving and resets bounds and objective values of columns to the current node's values */
1436 extern
1437 SCIP_RETCODE SCIPlpEndDive(
1438  SCIP_LP* lp, /**< current LP data */
1439  BMS_BLKMEM* blkmem, /**< block memory */
1440  SCIP_SET* set, /**< global SCIP settings */
1441  SCIP_MESSAGEHDLR* messagehdlr, /**< message handler */
1442  SCIP_STAT* stat, /**< problem statistics */
1443  SCIP_EVENTQUEUE* eventqueue, /**< event queue */
1444  SCIP_EVENTFILTER* eventfilter, /**< global event filter */
1445  SCIP_PROB* prob, /**< problem data */
1446  SCIP_VAR** vars, /**< array with all active variables */
1447  int nvars /**< number of active variables */
1448  );
1449 
1450 /** records a current row side such that any change will be undone after diving */
1451 extern
1452 SCIP_RETCODE SCIPlpRecordOldRowSideDive(
1453  SCIP_LP* lp, /**< LP data object */
1454  SCIP_ROW* row, /**< row affected by the change */
1455  SCIP_SIDETYPE sidetype /**< side type */
1456  );
1457 
1458 /** informs the LP that probing mode was initiated */
1459 extern
1460 SCIP_RETCODE SCIPlpStartProbing(
1461  SCIP_LP* lp /**< current LP data */
1462  );
1463 
1464 /** informs the LP that probing mode was finished */
1465 extern
1466 SCIP_RETCODE SCIPlpEndProbing(
1467  SCIP_LP* lp /**< current LP data */
1468  );
1469 
1470 /** informs the LP that the probing mode is now used for strongbranching */
1471 extern
1472 void SCIPlpStartStrongbranchProbing(
1473  SCIP_LP* lp /**< current LP data */
1474  );
1475 
1476 /** informs the LP that the probing mode is not used for strongbranching anymore */
1477 extern
1478 void SCIPlpEndStrongbranchProbing(
1479  SCIP_LP* lp /**< current LP data */
1480  );
1481 
1482 /** gets proven lower (dual) bound of last LP solution */
1483 extern
1484 SCIP_RETCODE SCIPlpGetProvedLowerbound(
1485  SCIP_LP* lp, /**< current LP data */
1486  SCIP_SET* set, /**< global SCIP settings */
1487  SCIP_Real* bound /**< pointer to store proven dual bound */
1488  );
1489 
1490 /** gets proven dual bound of last LP solution */
1491 extern
1492 SCIP_RETCODE SCIPlpIsInfeasibilityProved(
1493  SCIP_LP* lp, /**< current LP data */
1494  SCIP_SET* set, /**< global SCIP settings */
1495  SCIP_Bool* proved /**< pointer to store whether infeasibility is proven */
1496  );
1497 
1498 /** writes LP to a file */
1499 extern
1500 SCIP_RETCODE SCIPlpWrite(
1501  SCIP_LP* lp, /**< current LP data */
1502  const char* fname /**< file name */
1503  );
1504 
1505 /** writes MIP to a file */
1506 extern
1507 SCIP_RETCODE SCIPlpWriteMip(
1508  SCIP_LP* lp, /**< current LP data */
1509  SCIP_SET* set, /**< global SCIP settings */
1510  SCIP_MESSAGEHDLR* messagehdlr, /**< message handler */
1511  const char* fname, /**< file name */
1512  SCIP_Bool genericnames, /**< should generic names like x_i and row_j be used in order to avoid
1513  * troubles with reserved symbols? */
1514  SCIP_Bool origobj, /**< should the original objective function be used? */
1515  SCIP_OBJSENSE objsense, /**< objective sense */
1516  SCIP_Real objscale, /**< objective scaling factor */
1517  SCIP_Real objoffset, /**< objective offset, e.g., caused by variable fixings in presolving */
1518  SCIP_Bool lazyconss /**< output removable rows as lazy constraints? */
1519  );
1520 
1521 /** recalculates Euclidean norm of objective function vector of column variables if it have gotten unreliable during calculation */
1522 extern
1523 void SCIPlpRecalculateObjSqrNorm(
1524  SCIP_SET* set, /**< global SCIP settings */
1525  SCIP_LP* lp /**< LP data */
1526  );
1527 
1528 /** compute relative interior point */
1529 extern
1530 SCIP_RETCODE SCIPlpComputeRelIntPoint(
1531  SCIP_SET* set, /**< global SCIP settings */
1532  SCIP_MESSAGEHDLR* messagehdlr, /**< message handler */
1533  SCIP_LP* lp, /**< LP data */
1534  SCIP_PROB* prob, /**< problem data */
1535  SCIP_Bool relaxrows, /**< should the rows be relaxed */
1536  SCIP_Bool inclobjcutoff, /**< should a row for the objective cutoff be included */
1537  SCIP_Real timelimit, /**< time limit for LP solver */
1538  int iterlimit, /**< iteration limit for LP solver */
1539  SCIP_Real* point, /**< array to store relative interior point on exit */
1540  SCIP_Bool* success /**< buffer to indicate whether interior point was successfully computed */
1541  );
1542 
1543 /** gets array with columns of the LP */
1544 extern
1545 SCIP_COL** SCIPlpGetCols(
1546  SCIP_LP* lp /**< current LP data */
1547  );
1548 
1549 /** gets current number of columns in LP */
1550 extern
1551 int SCIPlpGetNCols(
1552  SCIP_LP* lp /**< current LP data */
1553  );
1554 
1555 /** gets array with rows of the LP */
1556 extern
1557 SCIP_ROW** SCIPlpGetRows(
1558  SCIP_LP* lp /**< current LP data */
1559  );
1560 
1561 /** gets current number of rows in LP */
1562 extern
1563 int SCIPlpGetNRows(
1564  SCIP_LP* lp /**< current LP data */
1565  );
1566 
1567 /** gets array with newly added columns after the last mark */
1568 extern
1569 SCIP_COL** SCIPlpGetNewcols(
1570  SCIP_LP* lp /**< current LP data */
1571  );
1572 
1573 /** gets number of newly added columns after the last mark */
1574 extern
1575 int SCIPlpGetNNewcols(
1576  SCIP_LP* lp /**< current LP data */
1577  );
1578 
1579 /** gets array with newly added rows after the last mark */
1580 extern
1581 SCIP_ROW** SCIPlpGetNewrows(
1582  SCIP_LP* lp /**< current LP data */
1583  );
1584 
1585 /** gets number of newly added rows after the last mark */
1586 extern
1587 int SCIPlpGetNNewrows(
1588  SCIP_LP* lp /**< current LP data */
1589  );
1590 
1591 /** gets Euclidean norm of objective function vector of column variables, only use this method if
1592  * lp->objsqrnormunreliable == FALSE, so probably you have to call SCIPlpRecalculateObjSqrNorm before */
1593 extern
1594 SCIP_Real SCIPlpGetObjNorm(
1595  SCIP_LP* lp /**< LP data */
1596  );
1597 
1598 /** gets the objective value of the root node LP; returns SCIP_INVALID if the root node LP was not (yet) solved */
1599 extern
1600 SCIP_Real SCIPlpGetRootObjval(
1601  SCIP_LP* lp /**< LP data */
1602  );
1603 
1604 /** gets part of the objective value of the root node LP that results from COLUMN variables only;
1605  * returns SCIP_INVALID if the root node LP was not (yet) solved
1606  */
1607 extern
1608 SCIP_Real SCIPlpGetRootColumnObjval(
1609  SCIP_LP* lp /**< LP data */
1610  );
1611 
1612 /** gets part of the objective value of the root node LP that results from LOOSE variables only;
1613  * returns SCIP_INVALID if the root node LP was not (yet) solved
1614  */
1615 extern
1616 SCIP_Real SCIPlpGetRootLooseObjval(
1617  SCIP_LP* lp /**< LP data */
1618  );
1619 
1620 /** gets the LP solver interface */
1621 extern
1622 SCIP_LPI* SCIPlpGetLPI(
1623  SCIP_LP* lp /**< current LP data */
1624  );
1625 
1626 /** sets whether the current lp is a relaxation of the current problem and its optimal objective value is a local lower bound */
1627 extern
1628 void SCIPlpSetIsRelax(
1629  SCIP_LP* lp, /**< LP data */
1630  SCIP_Bool relax /**< is the current lp a relaxation? */
1631  );
1632 
1633 /** returns whether the current LP is a relaxation of the problem for which it has been solved and its
1634  * solution value a valid local lower bound?
1635  */
1636 extern
1637 SCIP_Bool SCIPlpIsRelax(
1638  SCIP_LP* lp /**< LP data */
1639  );
1640 
1641 /** returns whether the current LP is flushed and solved */
1642 extern
1643 SCIP_Bool SCIPlpIsSolved(
1644  SCIP_LP* lp /**< current LP data */
1645  );
1646 
1647 /** return whether the current LP solution passed the primal feasibility check */
1648 extern
1649 SCIP_Bool SCIPlpIsPrimalReliable(
1650  SCIP_LP* lp /**< current LP data */
1651  );
1652 
1653 /** return whether the current LP solution passed the dual feasibility check */
1654 extern
1655 SCIP_Bool SCIPlpIsDualReliable(
1656  SCIP_LP* lp /**< current LP data */
1657  );
1658 
1659 /** returns whether the current LP solution is a basic solution */
1660 extern
1661 SCIP_Bool SCIPlpIsSolBasic(
1662  SCIP_LP* lp /**< current LP data */
1663  );
1664 
1665 /** returns whether the LP is in diving mode */
1666 extern
1667 SCIP_Bool SCIPlpDiving(
1668  SCIP_LP* lp /**< current LP data */
1669  );
1670 
1671 /** returns whether the LP is in diving mode and the objective value of at least one column was changed */
1672 extern
1673 SCIP_Bool SCIPlpDivingObjChanged(
1674  SCIP_LP* lp /**< current LP data */
1675  );
1676 
1677 /** marks the diving LP to have a changed objective function */
1678 extern
1679 void SCIPlpMarkDivingObjChanged(
1680  SCIP_LP* lp /**< current LP data */
1681  );
1682 
1683 /** marks the diving LP to not have a changed objective function anymore */
1684 extern
1685 void SCIPlpUnmarkDivingObjChanged(
1686  SCIP_LP* lp /**< current LP data */
1687  );
1688 
1689 /* returns TRUE if at least one left/right hand side of an LP row was changed during diving mode */
1690 extern
1691 SCIP_Bool SCIPlpDivingRowsChanged(
1692  SCIP_LP* lp /**< current LP data */
1693  );
1694 
1695 
1696 #ifdef NDEBUG
1697 
1698 /* In optimized mode, the function calls are overwritten by defines to reduce the number of function calls and
1699  * speed up the algorithms.
1700  */
1701 
1702 #define SCIPlpGetCols(lp) ((lp)->cols)
1703 #define SCIPlpGetNCols(lp) ((lp)->ncols)
1704 #define SCIPlpGetRows(lp) ((lp)->rows)
1705 #define SCIPlpGetNRows(lp) ((lp)->nrows)
1706 #define SCIPlpGetNewcols(lp) (&((lp)->cols[(lp)->firstnewcol]))
1707 #define SCIPlpGetNNewcols(lp) ((lp)->ncols - (lp)->firstnewcol)
1708 #define SCIPlpGetNewrows(lp) (&((lp)->rows[(lp)->firstnewrow]))
1709 #define SCIPlpGetNNewrows(lp) ((lp)->nrows - (lp)->firstnewrow)
1710 #define SCIPlpGetObjNorm(lp) (SQRT((lp)->objsqrnorm))
1711 #define SCIPlpGetRootObjval(lp) (MIN((lp)->rootlpobjval + (lp)->rootlooseobjval, SCIP_INVALID))
1712 #define SCIPlpGetRootColumnObjval(lp) ((lp)->rootlpobjval)
1713 #define SCIPlpGetRootLooseObjval(lp) ((lp)->rootlooseobjval)
1714 #define SCIPlpGetLPI(lp) (lp)->lpi
1715 #define SCIPlpSetIsRelax(lp,relax) ((lp)->isrelax = relax)
1716 #define SCIPlpIsRelax(lp) (lp)->isrelax
1717 #define SCIPlpIsSolved(lp) ((lp)->flushed && (lp)->solved)
1718 #define SCIPlpIsSolBasic(lp) ((lp)->solisbasic)
1719 #define SCIPlpDiving(lp) (lp)->diving
1720 #define SCIPlpDivingObjChanged(lp) (lp)->divingobjchg
1721 #define SCIPlpMarkDivingObjChanged(lp) ((lp)->divingobjchg = TRUE)
1722 #define SCIPlpUnmarkDivingObjChanged(lp) ((lp)->divingobjchg = FALSE)
1723 #define SCIPlpDivingRowsChanged(lp) ((lp)->ndivechgsides > 0)
1724 
1725 #endif
1726 
1727 #ifdef __cplusplus
1728 }
1729 #endif
1730 
1731 #endif
SCIPlpGetNewcols
SCIP_COL ** SCIPlpGetNewcols(SCIP_LP *lp)
Definition: lp.c:16684
SCIPlpUpdateVarLbGlobal
SCIP_RETCODE SCIPlpUpdateVarLbGlobal(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldlb, SCIP_Real newlb)
Definition: lp.c:13311
SCIP_BOUNDTYPE
enum SCIP_BoundType SCIP_BOUNDTYPE
Definition: type_lp.h:50
SCIProwGetLPActivity
SCIP_Real SCIProwGetLPActivity(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
Definition: lp.c:6054
SCIPlpGetIterations
SCIP_RETCODE SCIPlpGetIterations(SCIP_LP *lp, int *iterations)
Definition: lp.c:14358
SCIPlpIsInfeasibilityProved
SCIP_RETCODE SCIPlpIsInfeasibilityProved(SCIP_LP *lp, SCIP_SET *set, SCIP_Bool *proved)
Definition: lp.c:15633
SCIPcolChgObj
SCIP_RETCODE SCIPcolChgObj(SCIP_COL *col, SCIP_SET *set, SCIP_LP *lp, SCIP_Real newobj)
Definition: lp.c:3567
SCIPlpStartStrongbranchProbing
void SCIPlpStartStrongbranchProbing(SCIP_LP *lp)
Definition: lp.c:15473
SCIPlpGetBInvARow
SCIP_RETCODE SCIPlpGetBInvARow(SCIP_LP *lp, int r, SCIP_Real *binvrow, SCIP_Real *coef, int *inds, int *ninds)
Definition: lp.c:9596
SCIPlpEndStrongbranchProbing
void SCIPlpEndStrongbranchProbing(SCIP_LP *lp)
Definition: lp.c:15486
SCIProwGetMaxval
SCIP_Real SCIProwGetMaxval(SCIP_ROW *row, SCIP_SET *set)
Definition: lp.c:6489
SCIPlpGetSol
SCIP_RETCODE SCIPlpGetSol(SCIP_LP *lp, SCIP_SET *set, SCIP_STAT *stat, SCIP_Bool *primalfeasible, SCIP_Bool *dualfeasible)
Definition: lp.c:13768
SCIPcolGetFarkasCoef
SCIP_Real SCIPcolGetFarkasCoef(SCIP_COL *col, SCIP_STAT *stat, SCIP_LP *lp)
Definition: lp.c:4004
SCIPlpGetBInvCol
SCIP_RETCODE SCIPlpGetBInvCol(SCIP_LP *lp, int c, SCIP_Real *coef, int *inds, int *ninds)
Definition: lp.c:9570
type_misc.h
type definitions for miscellaneous datastructures
SCIPlpIsSolBasic
SCIP_Bool SCIPlpIsSolBasic(SCIP_LP *lp)
Definition: lp.c:16889
SCIPcolChgCoef
SCIP_RETCODE SCIPcolChgCoef(SCIP_COL *col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_ROW *row, SCIP_Real val)
Definition: lp.c:3382
SCIPlpGetRows
SCIP_ROW ** SCIPlpGetRows(SCIP_LP *lp)
Definition: lp.c:16664
SCIPlpSetIsRelax
void SCIPlpSetIsRelax(SCIP_LP *lp, SCIP_Bool relax)
Definition: lp.c:16836
SCIPlpGetBInvACol
SCIP_RETCODE SCIPlpGetBInvACol(SCIP_LP *lp, int c, SCIP_Real *coef, int *inds, int *ninds)
Definition: lp.c:9621
SCIPlpUpdateVarColumn
SCIP_RETCODE SCIPlpUpdateVarColumn(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var)
Definition: lp.c:13605
SCIPcolMarkNotRemovableLocal
void SCIPcolMarkNotRemovableLocal(SCIP_COL *col, SCIP_STAT *stat)
Definition: lp.c:4607
SCIPlpUpdateVarLb
SCIP_RETCODE SCIPlpUpdateVarLb(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldlb, SCIP_Real newlb)
Definition: lp.c:13339
SCIPlpGetProvedLowerbound
SCIP_RETCODE SCIPlpGetProvedLowerbound(SCIP_LP *lp, SCIP_SET *set, SCIP_Real *bound)
Definition: lp.c:15619
SCIPlpGetModifiedProvedPseudoObjval
SCIP_Real SCIPlpGetModifiedProvedPseudoObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldbound, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype)
Definition: lp.c:12790
SCIPlpGetState
SCIP_RETCODE SCIPlpGetState(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
Definition: lp.c:9731
SCIPlpGetRootColumnObjval
SCIP_Real SCIPlpGetRootColumnObjval(SCIP_LP *lp)
Definition: lp.c:16804
SCIPcolGetRedcost
SCIP_Real SCIPcolGetRedcost(SCIP_COL *col, SCIP_STAT *stat, SCIP_LP *lp)
Definition: lp.c:3821
SCIPlpEndProbing
SCIP_RETCODE SCIPlpEndProbing(SCIP_LP *lp)
Definition: lp.c:15458
SCIProwCapture
void SCIProwCapture(SCIP_ROW *row)
Definition: lp.c:5169
SCIProwChgConstant
SCIP_RETCODE SCIProwChgConstant(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real constant)
Definition: lp.c:5415
SCIP_ROWORIGINTYPE
enum SCIP_RowOriginType SCIP_ROWORIGINTYPE
Definition: type_lp.h:68
SCIPcolCalcFarkasCoef
SCIP_Real SCIPcolCalcFarkasCoef(SCIP_COL *col, SCIP_Real *dualfarkas)
Definition: lp.c:3899
SCIProwGetNLPEfficacy
SCIP_Real SCIProwGetNLPEfficacy(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:6709
SCIProwGetPseudoActivity
SCIP_Real SCIProwGetPseudoActivity(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:6252
bound
static long bound
Definition: GomoryHuTree.cpp:35
SCIPlpSetRootLPIsRelax
void SCIPlpSetRootLPIsRelax(SCIP_LP *lp, SCIP_Bool isrelax)
Definition: lp.c:16771
SCIProwRecalcLPActivity
void SCIProwRecalcLPActivity(SCIP_ROW *row, SCIP_STAT *stat)
Definition: lp.c:6002
SCIPcolDelCoef
SCIP_RETCODE SCIPcolDelCoef(SCIP_COL *col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_ROW *row)
Definition: lp.c:3337
SCIProwGetLPEfficacy
SCIP_Real SCIProwGetLPEfficacy(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
Definition: lp.c:6553
SCIPlpFreeState
SCIP_RETCODE SCIPlpFreeState(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
Definition: lp.c:9797
SCIPlpSetNorms
SCIP_RETCODE SCIPlpSetNorms(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPINORMS *lpinorms)
Definition: lp.c:9838
SCIP_Var
Definition: struct_var.h:197
SCIPlpFlush
SCIP_RETCODE SCIPlpFlush(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue)
Definition: lp.c:8416
SCIProwIncCoef
SCIP_RETCODE SCIProwIncCoef(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_COL *col, SCIP_Real incval)
Definition: lp.c:5358
SCIPlpRemoveAllObsoletes
SCIP_RETCODE SCIPlpRemoveAllObsoletes(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
Definition: lp.c:14813
SCIPlpShrinkRows
SCIP_RETCODE SCIPlpShrinkRows(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, int newnrows)
Definition: lp.c:9403
SCIPlpRecordOldRowSideDive
SCIP_RETCODE SCIPlpRecordOldRowSideDive(SCIP_LP *lp, SCIP_ROW *row, SCIP_SIDETYPE sidetype)
Definition: lp.c:15419
SCIPlpCleanupAll
SCIP_RETCODE SCIPlpCleanupAll(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_Bool root)
Definition: lp.c:15021
SCIProwGetSolFeasibility
SCIP_Real SCIProwGetSolFeasibility(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_SOL *sol)
Definition: lp.c:6338
SCIPcolGetStrongbranchLast
void SCIPcolGetStrongbranchLast(SCIP_COL *col, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Real *solval, SCIP_Real *lpobjval)
Definition: lp.c:4563
SCIP_EventFilter
Definition: struct_event.h:170
SCIPcolCreate
SCIP_RETCODE SCIPcolCreate(SCIP_COL **col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *var, int len, SCIP_ROW **rows, SCIP_Real *vals, SCIP_Bool removable)
Definition: lp.c:3148
SCIPlpSetState
SCIP_RETCODE SCIPlpSetState(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LPISTATE *lpistate, SCIP_Bool wasprimfeas, SCIP_Bool wasprimchecked, SCIP_Bool wasdualfeas, SCIP_Bool wasdualchecked)
Definition: lp.c:9755
SCIProwGetMaxidx
int SCIProwGetMaxidx(SCIP_ROW *row, SCIP_SET *set)
Definition: lp.c:6521
SCIP_Messagehdlr
Definition: struct_message.h:36
SCIPlpComputeRelIntPoint
SCIP_RETCODE SCIPlpComputeRelIntPoint(SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_LP *lp, SCIP_PROB *prob, SCIP_Bool relaxrows, SCIP_Bool inclobjcutoff, SCIP_Real timelimit, int iterlimit, SCIP_Real *point, SCIP_Bool *success)
Definition: lp.c:16986
SCIPlpFreeNorms
SCIP_RETCODE SCIPlpFreeNorms(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPINORMS **lpinorms)
Definition: lp.c:9858
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
SCIPlpGetNNewrows
int SCIPlpGetNNewrows(SCIP_LP *lp)
Definition: lp.c:16717
SCIProwChgLhs
SCIP_RETCODE SCIProwChgLhs(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real lhs)
Definition: lp.c:5496
SCIPlpEndDive
SCIP_RETCODE SCIPlpEndDive(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_PROB *prob, SCIP_VAR **vars, int nvars)
Definition: lp.c:15237
SCIProwMakeIntegral
SCIP_RETCODE SCIProwMakeIntegral(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_STAT *stat, SCIP_LP *lp, SCIP_Real mindelta, SCIP_Real maxdelta, SCIP_Longint maxdnom, SCIP_Real maxscale, SCIP_Bool usecontvars, SCIP_Bool *success)
Definition: lp.c:5811
type_set.h
type definitions for global SCIP settings
SCIProwIsRedundant
SCIP_Bool SCIProwIsRedundant(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:6458
SCIPlpDiving
SCIP_Bool SCIPlpDiving(SCIP_LP *lp)
Definition: lp.c:16899
SCIPlpGetPseudoObjval
SCIP_Real SCIPlpGetPseudoObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
Definition: lp.c:12723
SCIP_Prob
Definition: struct_prob.h:39
SCIPlpRecalculateObjSqrNorm
void SCIPlpRecalculateObjSqrNorm(SCIP_SET *set, SCIP_LP *lp)
Definition: lp.c:16728
SCIPlpStartDive
SCIP_RETCODE SCIPlpStartDive(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:15134
SCIPlpStartProbing
SCIP_RETCODE SCIPlpStartProbing(SCIP_LP *lp)
Definition: lp.c:15443
SCIPlpWriteMip
SCIP_RETCODE SCIPlpWriteMip(SCIP_LP *lp, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, const char *fname, SCIP_Bool genericnames, SCIP_Bool origobj, SCIP_OBJSENSE objsense, SCIP_Real objscale, SCIP_Real objoffset, SCIP_Bool lazyconss)
Definition: lp.c:15670
SCIP_LPSOLSTAT
enum SCIP_LPSolStat SCIP_LPSOLSTAT
Definition: type_lp.h:42
SCIPlpGetRootObjval
SCIP_Real SCIPlpGetRootObjval(SCIP_LP *lp)
Definition: lp.c:16792
SCIProwEnsureSize
SCIP_RETCODE SCIProwEnsureSize(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, int num)
Definition: lp.c:586
SCIPlpGetCutoffbound
SCIP_Real SCIPlpGetCutoffbound(SCIP_LP *lp)
Definition: lp.c:9872
SCIProwCreate
SCIP_RETCODE SCIProwCreate(SCIP_ROW **row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, const char *name, int len, SCIP_COL **cols, SCIP_Real *vals, SCIP_Real lhs, SCIP_Real rhs, SCIP_ROWORIGINTYPE origintype, void *origin, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool removable)
Definition: lp.c:4957
SCIPlpUpdateAges
SCIP_RETCODE SCIPlpUpdateAges(SCIP_LP *lp, SCIP_STAT *stat)
Definition: lp.c:14373
SCIProwChgCoef
SCIP_RETCODE SCIProwChgCoef(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_COL *col, SCIP_Real val)
Definition: lp.c:5306
SCIPlpAddCol
SCIP_RETCODE SCIPlpAddCol(SCIP_LP *lp, SCIP_SET *set, SCIP_COL *col, int depth)
Definition: lp.c:9148
SCIPlpGetNCols
int SCIPlpGetNCols(SCIP_LP *lp)
Definition: lp.c:16654
SCIPlpShrinkCols
SCIP_RETCODE SCIPlpShrinkCols(SCIP_LP *lp, SCIP_SET *set, int newncols)
Definition: lp.c:9331
SCIPlpWrite
SCIP_RETCODE SCIPlpWrite(SCIP_LP *lp, const char *fname)
Definition: lp.c:15655
type_stat.h
type definitions for problem statistics
SCIPcolGetStrongbranchLPAge
SCIP_Longint SCIPcolGetStrongbranchLPAge(SCIP_COL *col, SCIP_STAT *stat)
Definition: lp.c:4595
SCIPlpCalcStrongCG
SCIP_RETCODE SCIPlpCalcStrongCG(SCIP_LP *lp, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_Real boundswitch, SCIP_Bool usevbds, SCIP_Bool allowlocal, int maxmksetcoefs, SCIP_Real maxweightrange, SCIP_Real minfrac, SCIP_Real maxfrac, SCIP_Real *weights, int *rowinds, int nrowinds, SCIP_Real scale, SCIP_Real *strongcgcoef, SCIP_Real *strongcgrhs, SCIP_Real *cutactivity, SCIP_Bool *success, SCIP_Bool *cutislocal, int *cutrank)
SCIP_Col
Definition: struct_lp.h:126
SCIP_LPiNorms
Definition: lpi_cpx.c:188
type_lp.h
type definitions for LP management
SCIP_Sol
Definition: struct_sol.h:51
SCIPlpGetNRows
int SCIPlpGetNRows(SCIP_LP *lp)
Definition: lp.c:16674
SCIPlpDecNLoosevars
void SCIPlpDecNLoosevars(SCIP_LP *lp)
Definition: lp.c:13750
SCIP_Set
Definition: struct_set.h:58
SCIPlpCleanupNew
SCIP_RETCODE SCIPlpCleanupNew(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_Bool root)
Definition: lp.c:14982
SCIPlpGetUnboundedSol
SCIP_RETCODE SCIPlpGetUnboundedSol(SCIP_LP *lp, SCIP_SET *set, SCIP_STAT *stat, SCIP_Bool *primalfeasible, SCIP_Bool *rayfeasible)
Definition: lp.c:14062
SCIProwCatchEvent
SCIP_RETCODE SCIProwCatchEvent(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTTYPE eventtype, SCIP_EVENTHDLR *eventhdlr, SCIP_EVENTDATA *eventdata, int *filterpos)
Definition: lp.c:7578
SCIPlpGetObjval
SCIP_Real SCIPlpGetObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
Definition: lp.c:12543
SCIPlpGetObjNorm
SCIP_Real SCIPlpGetObjNorm(SCIP_LP *lp)
Definition: lp.c:16759
SCIPlpUpdateVarUbGlobal
SCIP_RETCODE SCIPlpUpdateVarUbGlobal(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldub, SCIP_Real newub)
Definition: lp.c:13380
SCIProwRelease
SCIP_RETCODE SCIProwRelease(SCIP_ROW **row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
Definition: lp.c:5182
SCIProwChgLocal
SCIP_RETCODE SCIProwChgLocal(SCIP_ROW *row, SCIP_Bool local)
Definition: lp.c:5560
SCIPlpGetDualfarkas
SCIP_RETCODE SCIPlpGetDualfarkas(SCIP_LP *lp, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:14292
SCIPlpSolveAndEval
SCIP_RETCODE SCIPlpSolveAndEval(SCIP_LP *lp, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_PROB *prob, SCIP_Longint itlim, SCIP_Bool limitresolveiters, SCIP_Bool aging, SCIP_Bool keepsol, SCIP_Bool *lperror)
Definition: lp.c:11960
SCIPcolCalcRedcost
SCIP_Real SCIPcolCalcRedcost(SCIP_COL *col, SCIP_Real *dualsol)
Definition: lp.c:3716
SCIPlpIsRootLPRelax
SCIP_Bool SCIPlpIsRootLPRelax(SCIP_LP *lp)
Definition: lp.c:16782
SCIP_RealArray
Definition: struct_misc.h:132
SCIPlpRecomputeLocalAndGlobalPseudoObjval
void SCIPlpRecomputeLocalAndGlobalPseudoObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
Definition: lp.c:12626
SCIPlpRemoveNewObsoletes
SCIP_RETCODE SCIPlpRemoveNewObsoletes(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
Definition: lp.c:14782
SCIPlpUpdateVarUb
SCIP_RETCODE SCIPlpUpdateVarUb(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldub, SCIP_Real newub)
Definition: lp.c:13407
SCIProwGetMinidx
int SCIProwGetMinidx(SCIP_ROW *row, SCIP_SET *set)
Definition: lp.c:6537
SCIPlpStartStrongbranch
SCIP_RETCODE SCIPlpStartStrongbranch(SCIP_LP *lp)
Definition: lp.c:4049
SCIPcolIncCoef
SCIP_RETCODE SCIPcolIncCoef(SCIP_COL *col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_ROW *row, SCIP_Real incval)
Definition: lp.c:3433
SCIPcolChgLb
SCIP_RETCODE SCIPcolChgLb(SCIP_COL *col, SCIP_SET *set, SCIP_LP *lp, SCIP_Real newlb)
Definition: lp.c:3626
SCIPlpGetCols
SCIP_COL ** SCIPlpGetCols(SCIP_LP *lp)
Definition: lp.c:16644
SCIProwPrint
void SCIProwPrint(SCIP_ROW *row, SCIP_MESSAGEHDLR *messagehdlr, FILE *file)
Definition: lp.c:5129
SCIP_EVENTDATA
struct SCIP_EventData SCIP_EVENTDATA
Definition: type_event.h:155
SCIPlpGetSolstat
SCIP_LPSOLSTAT SCIPlpGetSolstat(SCIP_LP *lp)
Definition: lp.c:12527
SCIPlpGetBase
SCIP_RETCODE SCIPlpGetBase(SCIP_LP *lp, int *cstat, int *rstat)
Definition: lp.c:9531
SCIPlpIsPrimalReliable
SCIP_Bool SCIPlpIsPrimalReliable(SCIP_LP *lp)
Definition: lp.c:16869
SCIPlpIsDualReliable
SCIP_Bool SCIPlpIsDualReliable(SCIP_LP *lp)
Definition: lp.c:16879
SCIPlpDivingObjChanged
SCIP_Bool SCIPlpDivingObjChanged(SCIP_LP *lp)
Definition: lp.c:16909
SCIProwGetPseudoFeasibility
SCIP_Real SCIProwGetPseudoFeasibility(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:6280
SCIPlpGetLPI
SCIP_LPI * SCIPlpGetLPI(SCIP_LP *lp)
Definition: lp.c:16826
SCIPcolAddCoef
SCIP_RETCODE SCIPcolAddCoef(SCIP_COL *col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_ROW *row, SCIP_Real val)
Definition: lp.c:3316
SCIPlpGetNNewcols
int SCIPlpGetNNewcols(SCIP_LP *lp)
Definition: lp.c:16695
SCIPcolPrint
void SCIPcolPrint(SCIP_COL *col, SCIP_MESSAGEHDLR *messagehdlr, FILE *file)
Definition: lp.c:3276
type_var.h
type definitions for problem variables
SCIPlpFree
SCIP_RETCODE SCIPlpFree(SCIP_LP **lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
Definition: lp.c:9073
SCIProwDelCoef
SCIP_RETCODE SCIProwDelCoef(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_COL *col)
Definition: lp.c:5260
SCIPlpGetModifiedPseudoObjval
SCIP_Real SCIPlpGetModifiedPseudoObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob, SCIP_VAR *var, SCIP_Real oldbound, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype)
Definition: lp.c:12750
SCIProwForceSort
void SCIProwForceSort(SCIP_ROW *row, SCIP_SET *set)
Definition: lp.c:5989
SCIProwDropEvent
SCIP_RETCODE SCIProwDropEvent(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTTYPE eventtype, SCIP_EVENTHDLR *eventhdlr, SCIP_EVENTDATA *eventdata, int filterpos)
Definition: lp.c:7602
SCIProwGetMinActivity
SCIP_Real SCIProwGetMinActivity(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:6416
SCIProwIsSolEfficacious
SCIP_Bool SCIProwIsSolEfficacious(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_SOL *sol, SCIP_Bool root)
Definition: lp.c:6653
SCIP_Bool
#define SCIP_Bool
Definition: def.h:61
SCIPlpGetNewrows
SCIP_ROW ** SCIPlpGetNewrows(SCIP_LP *lp)
Definition: lp.c:16706
SCIPlpMarkFlushed
SCIP_RETCODE SCIPlpMarkFlushed(SCIP_LP *lp, SCIP_SET *set)
Definition: lp.c:8470
SCIPlpMarkSize
void SCIPlpMarkSize(SCIP_LP *lp)
Definition: lp.c:9488
SCIPlpGetLooseObjval
SCIP_Real SCIPlpGetLooseObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
Definition: lp.c:12582
SCIPlpGetBInvRow
SCIP_RETCODE SCIPlpGetBInvRow(SCIP_LP *lp, int r, SCIP_Real *coef, int *inds, int *ninds)
Definition: lp.c:9548
SCIP_OBJSENSE
enum SCIP_Objsense SCIP_OBJSENSE
Definition: type_prob.h:41
SCIProwGetRelaxEfficacy
SCIP_Real SCIProwGetRelaxEfficacy(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:6669
SCIProwDelaySort
void SCIProwDelaySort(SCIP_ROW *row)
Definition: lp.c:5978
SCIPcolChgUb
SCIP_RETCODE SCIPcolChgUb(SCIP_COL *col, SCIP_SET *set, SCIP_LP *lp, SCIP_Real newub)
Definition: lp.c:3671
SCIProwGetLPFeasibility
SCIP_Real SCIProwGetLPFeasibility(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
Definition: lp.c:6084
SCIP_Row
Definition: struct_lp.h:192
SCIPcolGetStrongbranches
SCIP_RETCODE SCIPcolGetStrongbranches(SCIP_COL **cols, int ncols, SCIP_Bool integral, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_LP *lp, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *lperror)
Definition: lp.c:4327
SCIPlpSumRows
SCIP_RETCODE SCIPlpSumRows(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob, SCIP_Real *weights, SCIP_REALARRAY *sumcoef, SCIP_Real *sumlhs, SCIP_Real *sumrhs)
Definition: lp.c:9645
SCIProwGetSolActivity
SCIP_Real SCIProwGetSolActivity(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_SOL *sol)
Definition: lp.c:6296
pub_lp.h
public methods for LP management
SCIProwGetObjParallelism
SCIP_Real SCIProwGetObjParallelism(SCIP_ROW *row, SCIP_SET *set, SCIP_LP *lp)
Definition: lp.c:7545
SCIPlpGetBasisInd
SCIP_RETCODE SCIPlpGetBasisInd(SCIP_LP *lp, int *basisind)
Definition: lp.c:9514
SCIPlpMarkDivingObjChanged
void SCIPlpMarkDivingObjChanged(SCIP_LP *lp)
Definition: lp.c:16919
SCIProwGetNLPFeasibility
SCIP_Real SCIProwGetNLPFeasibility(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:6166
SCIProwGetSolEfficacy
SCIP_Real SCIProwGetSolEfficacy(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_SOL *sol)
Definition: lp.c:6610
SCIPlpClear
SCIP_RETCODE SCIPlpClear(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
Definition: lp.c:9469
SCIPlpAddRow
SCIP_RETCODE SCIPlpAddRow(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_ROW *row, int depth)
Definition: lp.c:9207
SCIPcolSetStrongbranchData
void SCIPcolSetStrongbranchData(SCIP_COL *col, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_Real lpobjval, SCIP_Real primsol, SCIP_Real sbdown, SCIP_Real sbup, SCIP_Bool sbdownvalid, SCIP_Bool sbupvalid, SCIP_Longint iter, int itlim)
Definition: lp.c:4079
SCIPlpGetNorms
SCIP_RETCODE SCIPlpGetNorms(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPINORMS **lpinorms)
Definition: lp.c:9814
SCIPlpSetCutoffbound
SCIP_RETCODE SCIPlpSetCutoffbound(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob, SCIP_Real cutoffbound)
Definition: lp.c:9882
SCIProwGetMaxActivity
SCIP_Real SCIProwGetMaxActivity(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:6437
type_sol.h
type definitions for storing primal CIP solutions
SCIPcolGetFarkasValue
SCIP_Real SCIPcolGetFarkasValue(SCIP_COL *col, SCIP_STAT *stat, SCIP_LP *lp)
Definition: lp.c:4030
type_prob.h
type definitions for storing and manipulating the main problem
SCIPlpUpdateVarObj
SCIP_RETCODE SCIPlpUpdateVarObj(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldobj, SCIP_Real newobj)
Definition: lp.c:13257
SCIPlpGetRootLooseObjval
SCIP_Real SCIPlpGetRootLooseObjval(SCIP_LP *lp)
Definition: lp.c:16816
SCIPlpUpdateVarLoose
SCIP_RETCODE SCIPlpUpdateVarLoose(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var)
Definition: lp.c:13729
SCIProwAddCoef
SCIP_RETCODE SCIProwAddCoef(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_COL *col, SCIP_Real val)
Definition: lp.c:5239
SCIPlpIsSolved
SCIP_Bool SCIPlpIsSolved(SCIP_LP *lp)
Definition: lp.c:16859
SCIPlpSetSizeMark
void SCIPlpSetSizeMark(SCIP_LP *lp, int nrows, int ncols)
Definition: lp.c:9500
SCIPlpIsRelax
SCIP_Bool SCIPlpIsRelax(SCIP_LP *lp)
Definition: lp.c:16849
SCIP_LPiState
Definition: lpi_clp.cpp:120
SCIPlpStoreRootObjval
void SCIPlpStoreRootObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
Definition: lp.c:12602
SCIP_Lp
Definition: struct_lp.h:258
SCIProwFree
SCIP_RETCODE SCIProwFree(SCIP_ROW **row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
Definition: lp.c:5097
SCIPlpReset
SCIP_RETCODE SCIPlpReset(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
Definition: lp.c:9117
SCIPlpCreate
SCIP_RETCODE SCIPlpCreate(SCIP_LP **lp, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, const char *name)
Definition: lp.c:8814
struct_lp.h
data structures for LP management
SCIP_Real
#define SCIP_Real
Definition: def.h:145
SCIP_LPi
Definition: lpi_clp.cpp:93
SCIPlpRemoveRedundantRows
SCIP_RETCODE SCIPlpRemoveRedundantRows(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
Definition: lp.c:15060
SCIProwIsLPEfficacious
SCIP_Bool SCIProwIsLPEfficacious(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_Bool root)
Definition: lp.c:6594
SCIPcolFree
SCIP_RETCODE SCIPcolFree(SCIP_COL **col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
Definition: lp.c:3246
SCIPcolInvalidateStrongbranchData
void SCIPcolInvalidateStrongbranchData(SCIP_COL *col, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
Definition: lp.c:4133
SCIPlpUpdateDelVar
SCIP_RETCODE SCIPlpUpdateDelVar(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var)
Definition: lp.c:13469
SCIPcolGetStrongbranch
SCIP_RETCODE SCIPcolGetStrongbranch(SCIP_COL *col, SCIP_Bool integral, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_LP *lp, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *lperror)
Definition: lp.c:4168
SCIProwMarkNotRemovableLocal
void SCIProwMarkNotRemovableLocal(SCIP_ROW *row, SCIP_STAT *stat)
Definition: lp.c:7623
SCIP_Longint
#define SCIP_Longint
Definition: def.h:130
SCIPlpGetColumnObjval
SCIP_Real SCIPlpGetColumnObjval(SCIP_LP *lp)
Definition: lp.c:12571
SCIProwRecalcPseudoActivity
void SCIProwRecalcPseudoActivity(SCIP_ROW *row, SCIP_STAT *stat)
Definition: lp.c:6225
SCIPlpEndStrongbranch
SCIP_RETCODE SCIPlpEndStrongbranch(SCIP_LP *lp)
Definition: lp.c:4064
SCIPlpInvalidateRootObjval
void SCIPlpInvalidateRootObjval(SCIP_LP *lp)
Definition: lp.c:12615
SCIP_Stat
Definition: struct_stat.h:50
SCIPlpDivingRowsChanged
SCIP_Bool SCIPlpDivingRowsChanged(SCIP_LP *lp)
Definition: lp.c:16941
def.h
common defines and data types used in all packages of SCIP
SCIP_EventQueue
Definition: struct_event.h:205
BMS_BLKMEM
struct BMS_BlkMem BMS_BLKMEM
Definition: memory.h:396
SCIProwChgRhs
SCIP_RETCODE SCIProwChgRhs(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real rhs)
Definition: lp.c:5528
SCIPlpUnmarkDivingObjChanged
void SCIPlpUnmarkDivingObjChanged(SCIP_LP *lp)
Definition: lp.c:16930
SCIProwCalcIntegralScalar
SCIP_RETCODE SCIProwCalcIntegralScalar(SCIP_ROW *row, SCIP_SET *set, SCIP_Real mindelta, SCIP_Real maxdelta, SCIP_Longint maxdnom, SCIP_Real maxscale, SCIP_Bool usecontvars, SCIP_Real *intscalar, SCIP_Bool *success)
Definition: lp.c:5577
SCIProwGetMinval
SCIP_Real SCIProwGetMinval(SCIP_ROW *row, SCIP_SET *set)
Definition: lp.c:6505
SCIPlpCalcMIR
SCIP_RETCODE SCIPlpCalcMIR(SCIP_LP *lp, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_SOL *sol, SCIP_Real boundswitch, SCIP_Bool usevbds, SCIP_Bool allowlocal, SCIP_Bool fixintegralrhs, int *boundsfortrans, SCIP_BOUNDTYPE *boundtypesfortrans, int maxmksetcoefs, SCIP_Real maxweightrange, SCIP_Real minfrac, SCIP_Real maxfrac, SCIP_Real *weights, SCIP_Real maxweight, int *weightinds, int nweightinds, int rowlensum, int *sidetypes, SCIP_Real scale, SCIP_Real *mksetcoefs, SCIP_Bool *mksetcoefsvalid, SCIP_Real *mircoef, SCIP_Real *mirrhs, SCIP_Real *cutactivity, SCIP_Bool *success, SCIP_Bool *cutislocal, int *cutrank)
SCIProwAddConstant
SCIP_RETCODE SCIProwAddConstant(SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real addval)
Definition: lp.c:5470
SCIProwGetRelaxFeasibility
SCIP_Real SCIProwGetRelaxFeasibility(SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
Definition: lp.c:6104
SCIP_Eventhdlr
Definition: struct_event.h:186
SCIPlpUpdateAddVar
SCIP_RETCODE SCIPlpUpdateAddVar(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var)
Definition: lp.c:13448
SCIPcolGetFeasibility
SCIP_Real SCIPcolGetFeasibility(SCIP_COL *col, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
Definition: lp.c:3845
SCIPlpGetGlobalPseudoObjval
SCIP_Real SCIPlpGetGlobalPseudoObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
Definition: lp.c:12694
SCIP_EVENTTYPE
uint64_t SCIP_EVENTTYPE
Definition: type_event.h:134
SCIPlpGetPrimalRay
SCIP_RETCODE SCIPlpGetPrimalRay(SCIP_LP *lp, SCIP_SET *set, SCIP_Real *ray)
Definition: lp.c:14235
memory.h
memory allocation routines
SCIP_SIDETYPE
enum SCIP_SideType SCIP_SIDETYPE
Definition: type_lp.h:58