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